All Departments
Departments
Dailydeals
My Orders
Help
Sell On Loot
Filter by Category
All Departments
Books
Filter by Price
Min Price
Max Price
Clear
Apply
Status
Available to order
On special
Brand
Cambridge UniversityPress
College Publications
Springer-Verlag
Filter Results
Showing 3 of 3 Results in All Departments
Relevance
Types for Proofs and Programs - International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Paperback, 1994 ed.)
R
1,751
Add to Cart
Ships in 10 - 15 working days
Lambda Calculus with Types (Hardcover, New)
Henk Barendregt
,
Wil Dekkers
,
Richard Statman
R
2,415
Add to Cart
Ships in 12 - 17 working days
A Lambda Calculus Satellite (Paperback)
Henk Barendregt
,
Giulio Manzonetto
R
1,056
Add to Cart
Ships in 10 - 15 working days