Herman Geuvers. Introduction to Type Theory. In Ana Bove, LuÃs Soares Barbosa, Alberto Pardo, Jorge Sousa Pinto, editors, Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures. Volume 5520 of Lecture Notes in Computer Science, pages 1-56, Springer, 2008. [doi]
Abstract is missing.