Lambda Calculus with Types
Henk Barendregt,
Wil Dekkers
Buy from $98.43
|
Lambda-Calculus and...
J Roger Hindley,
Jonathan P Seldin
Buy from $84.55
|
Lectures on the Curry-Howard...
Morten Heine Sørensen, SC,
Prof. Pawel Urzyczyn
Buy from $178.10
|
Domains and Lambda-Calculi
Roberto M. Amadio,
Pierre-Louis Curien
Buy from $129.00
|
Lambda Calculi: A Guide for...
Chris Hankin
Buy from $30.25
|
Categories for Types
Roy L Crole
Buy from $181.45
|
Language in Action:...
J Van Benthem
Buy from $14.22
|
Proofs and Types
Jean-Yves Girard,
Yves Lafont
Buy from $204.50
|
Language and Grammar: Studies...
Claudia Casadio (Editor),
Philip Scott (Editor)
Buy from $89.62
|
The Lambda Calculus: Its...
H P Barendregt
Buy from $252.00
|
The Lambda Calculus: Its...
H P Barendregt
Buy from $96.19
|