Lambda-Calculus and...
J Roger Hindley,
Jonathan P Seldin
Buy from $82.13
eBook from $84.99
|
Lambda Calculus with Types
Henk Barendregt,
Wil Dekkers
Buy from $83.29
|
Proofs and Types
Jean-Yves Girard,
Yves Lafont
Buy from $160.46
|
Lectures on the Curry-Howard...
Morten Heine Sørensen, SC,
Prof. Pawel Urzyczyn
Buy from $171.11
eBook from $165.00
|
Language in Action:...
J Van Benthem
Buy from $29.32
eBook from $72.95
|
Domains and Lambda-Calculi
Roberto M. Amadio,
Pierre-Louis Curien
Buy from $122.00
|
Lambda Calculi: A Guide for...
Chris Hankin
Buy from $47.84
|
Categories for Types
Roy L Crole
Buy from $178.27
|
The Lambda Calculus: Its...
H P Barendregt
Buy from $106.75
|
Language and Grammar: Studies...
Claudia Casadio (Editor),
Philip Scott (Editor)
Buy from $82.90
|
