ECC, an Extended Calculus of Constructions. / Luo, Z.

Logics in Computer Science (LICS 1989). 1989.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationLogics in Computer Science (LICS 1989)
Publication statusPublished - 1 Jun 1989

ID: 1774146