ECC, an Extended Calculus of Constructions (1989)

Cached

Download Links

by Zhaohui Luo
Citations:84 - 4 self

Document Versions

ECC, an Extended Calculus of Constructions –Zhaohui Luo — 1989
An Extended Calculus of Constructions –Zhaohui Luo, Ph. D — 1990
ECC, an Extended Calculus of Constructions –Zhaohui Luo, Edinburgh Eh Jz — 1989