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 proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Proc. of Symp. on Logical Foundations of Computer Science (Logic at Tver'92), LNCS 620 |
Publication status | Published - 1992 |
ID: 1774770