Magical Haskell: A Friendly...
Anton Antich
Buy new from £44.67
eBook from £15.85
|
Formal Semantics in Modern...
Stergios Chatzikyriakidis,
Zhaohui Luo
Buy new from £151.88
eBook from £115.37
|
The Little Typer
Daniel P Friedman,
David Thrane Christiansen
Buy new from £49.54
|
Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy new from £76.22
eBook from £61.10
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy new from £49.28
|
Extensional Constructs in...
Martin Hofmann
Buy new from £129.41
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy new from £49.28
|
An Introduction to...
Peter B. Andrews
Buy new from £83.63
|
A Modern Perspective on Type...
F.D. Kamareddine,
T. Laan
Buy new from £114.15
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy new from £119.30
eBook from £31.44
|
An Introduction to...
Peter B Andrews
Buy new from £114.15
eBook from £21.70
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy new from £49.18
|
Categorical Logic and Type...
Bart Jacobs,
B Jacobs
Buy new from £316.19
eBook from £104.80
|
Types for Proofs and Programs...
Eduardo Gimenez (Editor),
Christine Paulin-Mohring (Editor)
Buy new from £49.21
|
Type-Theoretical Grammar
Aarne Ranta
Buy new from £74.30
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy new from £197.77
|
Type Logical Grammar:...
G V Morrill
Buy new from £137.05
|
Type Logical Grammar:...
G V Morrill
Buy new from £137.05
|
Semantische Paradoxien,...
Rosemarie Rheinwald
Buy new from £109.80
eBook from £125.11
|
Most Excellent Differences:...
Thomas C Thompson
Buy new from £43.79
|
Type Theory and Functional...
Simon Thompson
Buy new from £193.58
|
Reanimation in Philosophy
Palmer Talbutt
Buy new from £119.09
|
An Introduction to...
P B Andrews
Buy new from £91.51
|
An Introduction to...
P B Andrews
Buy new from £145.83
|
