Nederpelt, Rob, <br/><br/>
Type theory and formal proof: an introduction / 
Rob Nederpelt, Eindhoven University of Technology, the Netherlands, Herman Geuvers, Radbound University Nijmegen, and Eindhoven University of Technology, the Netherlands. 
 - Cambridge ;  Cambridge University Press,  2014. 
 - vii, 436 pages ;  25 cm 
<br/><br/><label>ISBN: </label>9781107036505 (hbk.) 
<br/><br/><label>LCCN: </label>2014010865 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Type theory.<br/>COMPUTERS / Programming Languages / General.
<br/><br/><label>LC Class. No.: </label>QA9  / .N37 2014 
<br/><br/><label>Dewey Class. No.: </label>551.3 NED