An Analysis of Girard's Paradox (1986)

Cached

Download Links

by Thierry Coquand
Venue:In Symposium on Logic in Computer Science
Citations:66 - 2 self

Document Versions

An Analysis of Girard's Paradox –Thierry Coquand — 1986 — In Symposium on Logic in Computer Science