An Analysis of Girard's Paradox (1986)
by
Thierry Coquand
| Venue: | In Symposium on Logic in Computer Science |
| Citations: | 58 - 2 self |
Document Versions
| An Analysis of Girard's Paradox –Thierry Coquand — 1986 — In Symposium on Logic in Computer Science |
