Magical Haskell: A Friendly...
Anton Antich
Buy from $30.03
eBook from $19.50
|
Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from $60.61
eBook from $75.20
|
History and Philosophy of...
Giovanni Sommaruga
Buy from $159.69
eBook from $47.70
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy from $139.84
eBook from $38.70
|
An Introduction to...
Peter B Andrews
Buy from $59.99
eBook from $26.70
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from $35.31
eBook from $16.50
|