The Computational Behaviour of (0)

by D Howe
Venue:Girard's Paradox, Symposium on Logic in Computer Science