Rob Nederpelt

No bio available. Add one in Open Library.

Books by Rob Nederpelt (50 max)

+ shelf+ list

Type Theory and Formal Proof: An Introduction

2014

Rob Nederpelt, Herman Geuvers

+ shelf+ list

Modern Perspective on Type Theory From Its Origins until Today

2010

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