On computational open-endedness in Martin-Löf’s type theory (1991)

by Doug Howe
Venue:In Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science