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.
@inproceedings{Sun91:0,
title = {Axiomatization of Calculus of Constructions},
author = {Yong Sun},
year = {1991},
researchr = {https://researchr.org/publication/Sun91%3A0},
cites = {0},
citedby = {0},
pages = {108-130},
booktitle = {Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings},
editor = {J. Paul Myers Jr. and Michael J. O Donnell},
volume = {613},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-55631-1},
}