A new paradox in type theory (1994)

by T Coquand
Venue:In Logic, Methodology and Philosophy of Science IX : Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science