Lambda-Calculus, Types and Models View on Open Library

Lambda-Calculus, Types and Models

by J. L. Krivine

No reviews yet
First published: 1993 1 language ISBN: 9780130624079

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by J. L. Krivine

Introduction to axiomatic set theory

Introduction to axiomatic set theory

Théorie axiomatique des ensembles ..

Théorie axiomatique des ensembles ..

Elements of Mathematical Logic

Elements of Mathematical Logic

Sous-espaces et cônes convexes dans les espaces Lp

Sous-espaces et cônes convexes dans les ...