%0 Conference Proceedings
%F luo89
%A Luo, Z.
%T ECC, an Extended Calculus of Constructions
%B Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS)
%P 385-395
%I IEEE Computer Society Press
%D 1989
%K typetheory