@misc{indiciaea50b1fb9ff0a,
  title = {Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types},
  author = {Andreas Abel},
  year = {2012},
  doi = {10.4204/eptcs.77.1},
  url = {https://arxiv.org/abs/1202.3496},
  note = {Source identifier: 1202.3496}
}