A Unifying Theory of Dependent Types: the schematic approach. / Luo, Z.

Proc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620. 1992.

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

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

ID: 1774770