TY  - BOOK
AU  - Nederpelt,Rob
AU  - Geuvers,Herman
TI  - Type theory and formal proof: an introduction
SN  - 9781107036505 (hbk.)
AV  - QA9 .N37 2014
U1  - 551.3 NED 
PY  - 2014///
CY  - Cambridge
PB  - Cambridge University Press
KW  - Type theory
KW  - COMPUTERS / Programming Languages / General
KW  - bisacsh
ER  -