ECC, an Extended Calculus of Constructions

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

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

Cite this