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
|
Typed Lambda Calculi and...
Marc Bezem (Editor),
Jan F Groote (Editor)
Buy from $43.52
|
Domains and Lambda-Calculi
Roberto M. Amadio,
Pierre-Louis Curien
Buy from $72.87
|
An Introduction to Functional...
Greg Michaelson
Buy from $12.05
|
Categories for Types
Roy L Crole
Buy from $62.00
|
The Lambda Calculus: Its...
Henk Barendregt
Buy from $27.26
|
Lectures on the Curry-Howard...
Morten Heine S°rensen, SC,
Prof. Pawel Urzyczyn
Buy from $176.78
|
Typed Lambda Calculi and...
Jean-Yves Girard (Editor)
Buy from $60.65
|
Proofs and types
Girard
Buy from $196.80
|
Language in Action:...
Johan Van Benthem
Buy from $31.95
|
Lambda Calculi: A Guide for...
Chris Hankin
Buy from $31.10
|
Language in Action:...
J Van Benthem
Buy from $16.65
|
Typed Lambda Calculi and...
Masahito Hasegawa (Editor)
Buy from $73.95
|
Language and Grammar: Studies...
Claudia Casadio (Editor),
Philip Scott (Editor)
Buy from $41.13
|
Typed Lambda Calculi and...
Philippe De Groote (Editor),
J Roger Hindley (Editor)
Buy from $39.74
|
Typed Lambda Calculi and...
Luke Ong (Editor)
Buy from $58.00
|
Typed Lambda Calculi and...
Mariangiola Dezani-Ciancaglini (Editor),
Gordon Plotkin (Editor)
Buy from $32.00
|
Typed Lambda Calculi and...
Samson Abramsky (Editor)
Buy from $60.65
|
Lambda-Calculus, Types and...
J L Krivine
Buy from $133.95
|
The Lambda Calculus: Its...
H P Barendregt
Buy from $187.99
|
Lambda-conversion and logic ....
Adrian Rezus
Buy from $19.80
|