ECC, an Extended Calculus of Constructions (1989)
Cached
Download Links
- [ftp.dcs.ed.ac.uk]
- [www.dur.ac.uk]
- [www.dur.ac.uk]
- DBLP
Other Repositories/Bibliography
by
Zhaohui Luo
| Citations: | 75 - 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 |
