Coercive subtyping in type theory (1996)

by Z Luo
Venue:In Proc. of CSL