Luo, Z. (1990). An extended calculus of constructions. Univ. of Edinburgh, Dep. of Computer Science.
Chicago-Zitierstil (17. Ausg.)Luo, Zhaohui. An Extended Calculus of Constructions. Edinburgh: Univ. of Edinburgh, Dep. of Computer Science, 1990.
MLA-Zitierstil (9. Ausg.)Luo, Zhaohui. An Extended Calculus of Constructions. Univ. of Edinburgh, Dep. of Computer Science, 1990.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.