Axiomatization of Calculus of Constructions

Yong Sun. Axiomatization of Calculus of Constructions. In J. Paul Myers Jr., Michael J. O Donnell, editors, Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings. Volume 613 of Lecture Notes in Computer Science, pages 108-130, Springer, 1991.

Abstract

Abstract is missing.