Type Theories, Normal Forms and D1-Lambda-Models. Information and Computation 72 (1987)

by M COPPO, M DEZANI-CIANCAGLINI, M ZACCHI
Venue:In Pro-ceedings of TACS'94. International Symposium on Theoretical Aspects of Computer Software