Subtyping Calculus of Construction (Extended Abstract).

Gang Chen

Browse the full MFCS paper archive.