Some proof-theoretic and algorithmic aspects of coercive subtyping. Types for proofs and programs (1998)

by A Jones, Z Luo, S Soloviev
Venue:Proc. of the Inter. Conf. TYPES'96, LNCS 1512