@misc{indiciaeea158ee33585,
  title = {Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach},
  author = {Favio Ezequiel Miranda-Perea and Lourdes del Carmen González-Huesca},
  year = {2012},
  doi = {10.4204/eptcs.81.3},
  url = {https://arxiv.org/abs/1203.6158},
  note = {Source identifier: 1203.6158}
}