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