Some normalization properties of Martin-Löf’s type theory, and applications (1991)

by D A Basin, D J Howe
Venue:in Proc. 1st Internat. Conf. on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science