On computational open-endedness in Martin-L#f's type theory (1991)

by D J Howe
Venue:In Sixth annual symposium on Logic In Computer Science