Coquand. An Analysis of Girard’s Paradox (1986)

by Thierry
Venue:In LICS