A Unifying Theory of Dependent Types: The Schematic Approach.

Zhaohui Luo

Browse the full LFCS paper archive.