1986] "An analysis of Girard paradox (1986)

by T Coquand
Venue:IEEE Conference on Logic in Computer Science