@misc{indiciae76c5e02802d4,
  title = {Practical Subtyping for System F with Sized (Co-)Induction},
  author = {Rodolphe Lepigre and Christophe Raffalli},
  year = {2017},
  url = {https://arxiv.org/abs/1604.01990},
  note = {Source identifier: 1604.01990}
}