Author

Rob Nederpelt

2 books found

Cover of Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers · First published 2014

Cover of Modern Perspective on Type Theory

Modern Perspective on Type Theory

F. D. Kamareddine, T. Laan, Rob Nederpelt · First published 2010