Linear Dependent Types and Relative Completeness.

Ugo Dal Lago, Marco Gaboardi

Browse the full LICS paper archive.