Filters
Advanced Search Browse by Genre

Found 119 results for "Lambda calculus"

The lambda calculus
The lambda calculus

by H. P. Barendregt

1981 4 ed.
Lambda calculus Calculus
Lambda-Calculus and Combinators
Lambda-Calculus and Combinators

by J. Roger Hindley, Jonathan P. Seldin

2008 4 ed.
[Lambda]-calculus and combinators
[Lambda]-calculus and combinators

by J. Roger Hindley

2008 1 ed.
Combinatory logic Lambda calculus Calculus
Lambda Calculus Satellite
Lambda Calculus Satellite

by Henk Barendregt, Giulio Manzonetto

2022 1 ed.
Computational lambda-calculus and monads
Computational lambda-calculus and monads

by Eugenio Moggi

1988 1 ed.
Lambda Calculus with Types
Lambda Calculus with Types

by Henk Barendregt, Wil Dekkers

2013 4 ed.
Lambda calculus with types
Lambda calculus with types

by H. P. Barendregt

2013 1 ed.
Lambda calculus Calculus
Lambda-calculus models of programming languages
Lambda-calculus models of programming languages

by James Hiram Morris

1968 1 ed.
Combinatory logic Programming languages (El...
The lambda calculus
The lambda calculus

by H.P. (Hendrik Pieter) Barendregt

1981 1 ed.
Lambda calculus
A++ and the Lambda Calculus
A++ and the Lambda Calculus

by Georg P. Loczewski

2018 2 ed.
A simple lambda-calculus model of programming languages
A simple lambda-calculus model of programming languages

by S. Kamal Abdali

1973 2 ed.
Lambda-Calculus, Types and Models
Lambda-Calculus, Types and Models

by J. L. Krivine

1993 1 ed.
Models of the lambda calculus
Models of the lambda calculus

by C. P. J. Koymans

1984 1 ed.
Lambda calculus Combinatory logic Mathematical models
Concise Note on Lambda Calculus
Concise Note on Lambda Calculus

by Bhim P. Upadhyaya

2018 1 ed.
An introduction to lambda calculus
An introduction to lambda calculus

by Raven Ricci

2012 1 ed.
Lambda calculus COMPUTERS / Machine Theor...
Lambda calculus extended with segments
Lambda calculus extended with segments

by Harmannus Balsters

1986 1 ed.
Type assignment in the lambda-calculus
Type assignment in the lambda-calculus

by Choukri-Bey Ben-Yelles

1979 1 ed.
Lecture Notes on the Lambda Calculus
Lecture Notes on the Lambda Calculus

by Peter Selinger

2014 2 ed.
Lambda-Calculus, Combinators, and Functional Programming
Lambda-Calculus, Combinators, and Functional Programming

by G. E. Revesz

2009 1 ed.
Programming languages (el... Logic, symbolic and mathe...
Introduction to combinators and [lambda]-calculus
Introduction to combinators and [lambda]-calculus

by J. Roger Hindley

1986 1 ed.
Combinatory logic Lambda calculus Combinatorial analysis