Magical Haskell: A Friendly...
Anton Antich
Buy from £34.41
eBook from £15.87
|
Formal Semantics in Modern...
Stergios Chatzikyriakidis,
Zhaohui Luo
Buy from £152.08
eBook from £115.52
|
Type Theory and Formal Proof
Professor Rob Nederpelt,
Professor Herman Geuvers
Buy from £76.84
eBook from £61.18
|
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
|
Models of Sharing Graphs: A...
Masahito Hasegawa
Buy from £20.59
eBook from £13.43
|
Categorical Logic and Type...
Bart Jacobs,
B Jacobs
Buy from £316.62
eBook from £104.95
|
Semantische Paradoxien,...
Rosemarie Rheinwald
Buy from £109.95
eBook from £125.28
|
