Subtyping Dependent Types (1994)

by D Aspinall
Venue:CSL’94, LNCS 933