Coercive subtyping for the calculus of constructions (2003)

by G Chen
Venue:In Proc. of POPL’03