Typed Lambda Calculi and...
Masahito Hasegawa (Editor)
Buy from $66.95
eBook from $21.00
|
An Introduction to Functional...
Greg Michaelson
Buy from $8.65
eBook from $24.95
|
Lambda-Calculus and...
J Roger Hindley,
Jonathan P Seldin
Buy from $82.13
eBook from $84.99
|
Lectures on the Curry-Howard...
Morten Heine Sørensen, SC,
Prof. Pawel Urzyczyn
Buy from $171.11
eBook from $165.00
|
Typed Lambda Calculi and...
Samson Abramsky (Editor)
Buy from $51.65
eBook from $16.50
|
Language in Action:...
J Van Benthem
Buy from $36.20
eBook from $72.95
|
