Models of the lambda calculus View on Open Library

Models of the lambda calculus

by C. P. J. Koymans

No reviews yet
First published: 1984 1 language ISBN: 9061962757
Subjects
Lambda calculus Combinatory logic Mathematical models

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

You Might Also Like

More in Lambda calculus
Fitting statistical distributions

Fitting statistical distributions

Zaven A Karian
Language & grammar

Language & grammar

C. Casadio
The lambda calculus

The lambda calculus

H. P. Barendregt
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