Type Theory and Formal Proof:...
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy new from $85.78
eBook from $75.20
|
The Little Typer
Daniel P Friedman,
David Thrane Christiansen
Buy new from $45.22
|
An Introduction to...
P B Andrews
Buy new from $93.93
eBook from $26.70
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy new from $51.65
eBook from $16.50
|
A Modern Perspective on Type...
F.D. Kamareddine,
T. Laan
Buy new from $131.50
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy new from $139.84
eBook from $38.70
|
Semantics of Type Theory:...
T Streicher
Buy new from $93.93
|
Type-Theoretical Grammar
Aarne Ranta
Buy new from $101.44
|
Extensional Constructs in...
Martin Hofmann
Buy new from $150.29
|
Type Logical Grammar:...
G V Morrill
Buy new from $159.69
|
History and Philosophy of...
Giovanni Sommaruga
Buy new from $159.69
eBook from $47.70
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy new from $51.65
|
Types for Proofs and Programs...
Eduardo Gimenez (Editor),
Christine Paulin-Mohring (Editor)
Buy new from $51.65
|
Formal Semantics in Modern...
Stergios Chatzikyriakidis,
Zhaohui Luo
Buy new from $209.91
eBook from $142.00
|
Magical Haskell: A Friendly...
Anton Antich
Buy new from $45.98
eBook from $19.50
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy new from $51.65
|
Semantische Paradoxien,...
Rosemarie Rheinwald
Buy new from $145.15
eBook from $154.00
|
Type Theory and Functional...
Simon Thompson
Buy new from $151.74
|
Most Excellent Differences:...
Thomas C Thompson
Buy new from $54.66
|
Reanimation in Philosophy
Palmer Talbutt
Buy new from $52.84
|
