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