On Computational Open-Endedness in Martin-Lf's Type Theory

Douglas J. Howe

Browse the full LICS paper archive.