01034cam a2200277 i 4500 18083832 20260706230521.0 140327s2014 enk b 001 0 eng 2014010865 9781107036505 (hbk.) 18083832 DLC eng Krea rda DLC pcc QA9 .N37 2014 551.3 NED COM051010 bisacsh Nederpelt, Rob, author. 382 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 Type theory. 425 COMPUTERS / Programming Languages / General. bisacsh 426 Geuvers, Herman, 1964- author. 427 ddc BK 124441 124441