Rob Nederpelt

Rob Nederpelt

Rob Nederpelt has written at least 1 book. Their most popular book is Type Theory and Formal Proof: An Introduction with 4 saves with an average rating of 3.5⭐.

They are best known for writing in the genres one, asdfsa, and Asdfsa.

mone, asdfsa, and Asdfsa are their most common moods.

Type Theory and Formal Proof: An Introduction

Type Theory and Formal Proof: An Introduction
ByRob Nederpelt,Herman Geuvers

2014 • 4 Readers 3.5