Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping (1996)

by S Soloviev, A Jones, Z Luo
Venue:In TYPES’96. LNCS 1512, 173–196