A Unifying Theory of Dependent Types: the schematic approach

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

Original languageEnglish
Title of host publicationProc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620
Publication statusPublished - 1992

Cite this