The Little Typer
Daniel P Friedman,
David Thrane Christiansen
Buy from $41.01
|
Type Theory and Formal Proof:...
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from $88.19
|
Type-Theoretical Grammar
Aarne Ranta
Buy from $55.70
|
An Introduction to...
P B Andrews
Buy from $12.26
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from $23.94
|
Semantics of Type Theory:...
T Streicher
Buy from $97.99
|
Extensional Constructs in...
Martin Hofmann
Buy from $155.78
|
Type Logical Grammar:...
G V Morrill
Buy from $61.47
|
History and Philosophy of...
Giovanni Sommaruga
Buy from $166.68
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from $11.09
|
Types for Proofs and Programs...
Eduardo Gimenez (Editor),
Christine Paulin-Mohring (Editor)
Buy from $54.96
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy from $13.05
|
Formal Semantics in Modern...
Stergios Chatzikyriakidis,
Zhaohui Luo
Buy from $187.95
|
Type Theory and Functional...
Simon Thompson
Buy from $173.97
|
The Theory of Logical Types,
Irving M Copi
Buy from $12.50
|
Materialism and Sensations
James W Cornman
Buy from $10.92
|
Mind Underlies Spacetime: An...
Daniel A Cowan
Buy from $19.11
|
A transfinite type theory...
P. B. Andrews
Buy from $35.00
|
Most Excellent Differences:...
Thomas C Thompson
Buy from $10.57
|
Reanimation in Philosophy
Palmer Talbutt
Buy from $14.50
|
