Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping

@inproceedings{Jones1996SomeAA,
  title={Some Algorithmic and Proof-Theoretical Aspects of Coercive Subtyping},
  author={Alex P. Jones and Zhaohui Luo and Sergei Soloviev},
  booktitle={TYPES},
  year={1996}
}
Coercive subtyping ooers a conceptually simple but powerful framework to understand subtyping and subset relationships in type theory. In this paper we study some of its proof-theoretic and computational properties. 
Highly Cited
This paper has 17 citations. REVIEW CITATIONS