ECC, an Extended Calculus of Constructions. / Luo, Z.
Logics in Computer Science (LICS 1989). 1989.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Logics in Computer Science (LICS 1989) |
Publication status | Published - 1 Jun 1989 |
ID: 1774146