%0 Conference Paper %1 conf/lics/Luo89 %A Luo, Zhaohui %B LICS %D 1989 %I IEEE Computer Society %K %P 386-395 %T ECC, an Extended Calculus of Constructions %U http://dblp.uni-trier.de/db/conf/lics/lics89.html#Luo89 %@ 0-8186-1954-6

@inproceedings{conf/lics/Luo89, added-at = {2023-12-13T08:50:56.000+0100}, author = {Luo, Zhaohui}, biburl = {https://www.bibsonomy.org/bibtex/21092c86a37c96bf753cf73f68117fe04/admin}, booktitle = {LICS}, crossref = {conf/lics/1989}, ee = {http://doi.ieeecomputersociety.org/10.1109/LICS.1989.39193}, interhash = {c82146264a46bff6494897576e8e3f70}, intrahash = {1092c86a37c96bf753cf73f68117fe04}, isbn = {0-8186-1954-6}, keywords = {}, pages = {386-395}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T08:50:56.000+0100}, title = {ECC, an Extended Calculus of Constructions}, url = {http://dblp.uni-trier.de/db/conf/lics/lics89.html#Luo89}, year = 1989 }