The lambda calculus View on Open Library

The lambda calculus

by H. P. Barendregt

No reviews yet
First published: 1981 1 language ISBN: 9781848900660
Subjects
Lambda calculus Calculus

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by H. P. Barendregt

Types for proofs and programs

Types for proofs and programs

Lambda calculus with types

Lambda calculus with types

De Dimorphie van het Ifs en de Alcoholhydrantkwest

De Dimorphie van het Ifs en de Alcoholhy...

The incompleteness theorems

The incompleteness theorems

On the interpretation of terms without a normal form

On the interpretation of terms without a...

Some extensional term models for combinatory logics and [lambda]-calculi

Some extensional term models for combina...

You Might Also Like

More in Lambda calculus
Fitting statistical distributions

Fitting statistical distributions

Zaven A Karian
Language & grammar

Language & grammar

C. Casadio
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Pawel Urzyczyn
Abstract computing machines

Abstract computing machines

Werner Kluge
Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Masahito Hasegawa
Domains and lambda-calculi

Domains and lambda-calculi

Roberto M. Amadio