Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages

@inproceedings{Ancona2014SoundAC,
  title={Sound and Complete Subtyping between Coinductive Types for Object-Oriented Languages},
  author={Davide Ancona and Andrea Corradi},
  booktitle={ECOOP},
  year={2014}
}