A New Paradox in Type Theory (1994)
by
Thierry Coquand
| Venue: | Logic, Methodology and Philosophy of Science IX : Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science |
| Citations: | 7 - 0 self |
Document Versions
| A New Paradox in Type Theory –Thierry Coquand — 1994 — Logic, Methodology and Philosophy of Science IX : Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science |
