An analysis of Girard’s paradox (1986)

by T Coquand
Venue:In Logic in Computer Science: 1st IEEE Symposium, LICS’86