Some Normalization Properties of Martin-Lof's Type Theory, and Applications (1991)

Cached

Download Links

by David Basin , Douglas J. Howe
Venue:in Proc. 1st Internat. Conf. on Theoretical Aspects of Computer Software, Lecture Notes in Computer Science
Citations:3 - 1 self