Lambda Calculus with Types
Henk Barendregt,
Wil Dekkers
Buy from $98.43
|
Lambda-Calculus and...
J Roger Hindley,
Jonathan P Seldin
Buy from $83.96
|
Domains and Lambda-Calculi
Roberto M. Amadio,
Pierre-Louis Curien
Buy from $129.00
|
Lectures on the Curry-Howard...
Morten Heine Sørensen, SC,
Prof. Pawel Urzyczyn
Buy from $176.78
|
Proofs and Types
Jean-Yves Girard,
Yves Lafont
Buy from $196.80
|
Language in Action:...
J Van Benthem
Buy from $16.65
|
Lambda Calculi: A Guide for...
Chris Hankin
Buy from $31.10
|
Categories for Types
Roy L Crole
Buy from $174.10
|
Lambda-Calculus, Types and...
J L Krivine
Buy from $133.95
|
The Lambda Calculus: Its...
H P Barendregt
Buy from $187.99
|
The Lambda Calculus: Its...
H P Barendregt
Buy from $91.61
|
Language and Grammar: Studies...
Claudia Casadio (Editor),
Philip Scott (Editor)
Buy from $89.61
|