Z. Luo. ECC, an Extended Calculus of Constructions. In Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS), Pages 385-395, 1989.
[ Typetheory ]
@InProceedings{luo89,
Author = {Luo, Z.},
Title = {ECC, an Extended Calculus of Constructions},
BookTitle = {Proc. 1989 IEEE 4th Annual Symp. on Logic in Computer Science (LICS)},
Pages = {385--395},
Publisher = {IEEE Computer Society Press},
Year = {1989}
}
Get EndNote Reference (.ref)