Coercion completion and conservativity in coercive subtyping (2000)

by Sergei Soloviev, Zhaohui Luo
Venue:Annals of Pure and Applied Logic