Title: A modern perspective on type theory
First published: 2004
Subjects: Type theory, Mathematics, Logic, Computer science, Symbolic and mathematical Logic, Mathematical Logic and Foundations, Mathematics of Computing
LC classification: QA9 .K225 2004, QA9 .K225 2004