Books by Rob Nederpelt

Cover of Type Theory and Formal Proof

Type Theory and Formal Proof

by Rob Nederpelt, Herman Geuvers

2014
Cover of Modern Perspective on Type Theory

Modern Perspective on Type Theory

by F. D. Kamareddine, T. Laan, Rob Nederpelt

2010

Can't find the book you're looking for? Let us know — it helps us improve.