The computational behaviour of Girard’s paradox (0)

by Douglas J Howe
Venue:in Proceedings, Symposium on Logic in Computer Science