Rob Nederpelt

Books
Type Theory and Formal Proof Type Theory and Formal Proof
Type Theory and Formal Proof
2014
A Modern Perspective on Type Theory A Modern Perspective on Type Theory
A Modern Perspective on Type Theory
2006