Magical Haskell: A Friendly...
Anton Antich
Buy from $54.98
eBook from $19.50
|
Formal Semantics in Modern...
Stergios Chatzikyriakidis,
Zhaohui Luo
Buy from $204.47
eBook from $142.00
|
The Little Typer
Daniel P Friedman,
David Thrane Christiansen
Buy from $38.50
|
Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from $79.10
eBook from $75.20
|
Semantics of Type Theory:...
T Streicher
Buy from $98.00
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from $60.65
|
Extensional Constructs in...
Martin Hofmann
Buy from $159.29
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy from $60.65
|
An Introduction to...
Peter B. Andrews
Buy from $100.54
|
History and Philosophy of...
Giovanni Sommaruga
Buy from $126.23
eBook from $47.70
|
A Modern Perspective on Type...
F.D. Kamareddine,
T. Laan
Buy from $140.50
|
A Modern Perspective on Type...
F D Kamareddine,
T Laan
Buy from $146.84
eBook from $38.70
|
An Introduction to...
Peter B Andrews
Buy from $66.99
eBook from $26.70
|
History and Philosophy of...
Giovanni Sommaruga
Buy from $168.69
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy from $40.67
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from $23.94
eBook from $16.50
|
Types for Proofs and Programs...
Eduardo Gimenez (Editor),
Christine Paulin-Mohring (Editor)
Buy from $54.88
|
Type-Theoretical Grammar
Aarne Ranta
Buy from $91.62
|
Isomorphisms of Types: From ?...
Roberto Dicosmo
Buy from $14.17
|
Type Logical Grammar:...
G V Morrill
Buy from $168.69
|
Type Logical Grammar:...
G V Morrill
Buy from $80.19
|
Most Excellent Differences:...
Thomas C Thompson
Buy from $9.74
|
Type Theory and Functional...
Simon Thompson
Buy from $107.53
|
