TY  - BOOK
AU  - Kamareddine,Fairouz
AU  - Laan,Twan
AU  - Nederpelt,Rob
ED  - SpringerLink (Online service)
TI  - A Modern Perspective on Type Theory: From its Origins until Today 
SN  - 9781402023354 (electronic bk.)
AV  - QA9 .K225 2005
U1  - 511.3 22
PY  - 2005///
CY  - Dordrecht
PB  - Springer Science+Business Media, Inc.
KW  - Type theory
KW  - Mathematics
KW  - Mathematics of Computing
KW  - Logic
KW  - Mathematical Logic and Foundations
UR  - https://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/1-4020-2335-9
ER  -