The Little Typer
Daniel P Friedman,
David Thrane Christiansen
Buy from £32.98
|
Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from £76.84
eBook from £61.18
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from £49.34
|
Extensional Constructs in...
Martin Hofmann
Buy from £129.59
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy from £49.34
|
An Introduction to...
Peter B. Andrews
Buy from £81.79
|
History and Philosophy of...
Giovanni Sommaruga
Buy from £137.23
eBook from £38.81
|
A Modern Perspective on Type...
F.D. Kamareddine,
T. Laan
Buy from £114.30
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy from £119.46
eBook from £31.49
|
An Introduction to...
Peter B Andrews
Buy from £54.50
eBook from £21.73
|
History and Philosophy of...
Giovanni Sommaruga
Buy from £137.23
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from £49.25
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from £20.59
eBook from £13.43
|
Types for Proofs and Programs...
Eduardo Gimenez (Editor),
Christine Paulin-Mohring (Editor)
Buy from £44.63
|
Type-Theoretical Grammar
Aarne Ranta
Buy from £74.40
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy from £26.04
|
Type Logical Grammar:...
G V Morrill
Buy from £137.23
|
Type Logical Grammar:...
G V Morrill
Buy from £6.27
|
Most Excellent Differences:...
Thomas C Thompson
Buy from £8.60
|
Type Theory and Functional...
Simon Thompson
Buy from £116.73
|
Reanimation in Philosophy
Palmer Talbutt
Buy from £11.00
|
An Introduction to...
P B Andrews
Buy from £74.94
|
An Introduction to...
P B Andrews
Buy from £26.44
|
Mind Underlies Spacetime: An...
Daniel A Cowan
Buy from £15.05
|
