The Computational Behaviour of Girard's Paradox

Douglas J. Howe

Browse the full LICS paper archive.