Embedding classical type theory in “intuitionistic” type theory

• 1 January 1971
• book chapter
• Published by American Mathematical Society (AMS) in Proceedings of Symposia in Pure Mathematics
• Vol. 13.1, 267-270
• https://doi.org/10.1090/pspum/013.1/0281583

Abstract