Subtyping Dependent Types (Summary).

David Aspinall, Adriana B. Compagnoni

Browse the full LICS paper archive.