Giuseppe Longo. On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory. In Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack, editors, Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers. Volume 2277 of Lecture Notes in Computer Science, pages 160-180, Springer, 2000. [doi]
Abstract is missing.