On the syntax of infinite objects: an extension of Martin-Lof's theory of expressions (1989)

by L Hallnas
Venue:LNCS 417, COLOG-88, P. Martin-Lof and G. Mints Eds