Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from $99.34
eBook from $79.20
|
The Little Typer
Daniel P Friedman,
David Thrane Christiansen
Buy from $30.25
eBook from $38.99
|
An Introduction to...
P B Andrews
Buy from $77.79
eBook from $26.70
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from $25.31
eBook from $16.50
|
Semantics of Type Theory:...
T Streicher
Buy from $83.92
|
Type-Theoretical Grammar
Aarne Ranta
Buy from $76.30
|
Extensional Constructs in...
Martin Hofmann
Buy from $119.14
|
Type Logical Grammar:...
G V Morrill
Buy from $130.65
|
History and Philosophy of...
Giovanni Sommaruga
Buy from $110.83
eBook from $47.70
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy from $142.39
eBook from $38.70
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from $60.65
|
Types for Proofs and Programs...
Eduardo Gimenez (Editor),
Christine Paulin-Mohring (Editor)
Buy from $60.65
|
Formal Semantics in Modern...
Stergios Chatzikyriakidis,
Zhaohui Luo
Buy from $203.07
eBook from $142.00
|
Magical Haskell: A Friendly...
Anton Antich
Buy from $54.98
eBook from $19.50
|
The Theory of Logical Types,
Irving M Copi
Buy from $12.50
|
Mind Underlies Spacetime: An...
Daniel A Cowan
Buy from $51.67
|
Materialism and Sensations
James W Cornman
Buy from $10.87
|
A transfinite type theory...
P. B. Andrews
Buy from $31.07
|
Reanimation in Philosophy
Palmer Talbutt
Buy from $37.51
|
