An Analysis of Girard's Paradox (1986)

by Coquand Th
Venue:Proceedings of the first Logic in Computer Science