Herman Geuvers. (In)consistency of Extensions of Higher Order Logic and Type Theory. In Thorsten Altenkirch, Conor McBride, editors, Types for Proofs and Programs, International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Volume 4502 of Lecture Notes in Computer Science, pages 140-159, Springer, 2006. [doi]
Abstract is missing.