Kamareddine, Fairouz.
A Modern Perspective on Type Theory From its Origins until Today / [electronic resource] : by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. - Dordrecht : Springer Netherlands, 2005. - digital. - Applied Logic Series, 29 1386-2790 ; . - Applied Logic Series, 29 .
9781402023354
10.1007/1-4020-2335-9 doi
Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematics of Computing.
Logic.
QA8.9-10.3
511.3
A Modern Perspective on Type Theory From its Origins until Today / [electronic resource] : by Fairouz Kamareddine, Twan Laan, Rob Nederpelt. - Dordrecht : Springer Netherlands, 2005. - digital. - Applied Logic Series, 29 1386-2790 ; . - Applied Logic Series, 29 .
9781402023354
10.1007/1-4020-2335-9 doi
Mathematics.
Logic.
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Mathematical Logic and Foundations.
Mathematics of Computing.
Logic.
QA8.9-10.3
511.3