A Unifying Theory of Dependent Types: the schematic approach

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

Cite this

@inproceedings{f62c7a9820f04a80a1ac3b3d3e972ed8,

title = "A Unifying Theory of Dependent Types: the schematic approach",

author = "Z. Luo",

note = "Also as LFCS Report ECS-LFCS-92-202, Dept. of Computer Science, University of Edinburgh",

year = "1992",

language = "English",

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

}