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
Published
| 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