1.
Modern Perspective on Type Theory : From its Origins until Today
by Kamareddine, F. D., Laan, T...
ISBN: 9789048166398
List Price: $219.00
2.
Type Theory and Formal Proof : An Introduction
by Nederpelt, Rob, Geuvers, He...
ISBN: 9781107036505
List Price: $80.00