A New Paradox in Type Theory (1994)

Cached

Download Links

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