TY  - RPRT
TI  - Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach
AU  - Favio Ezequiel Miranda-Perea
AU  - Lourdes del Carmen González-Huesca
PY  - 2012
DO  - 10.4204/eptcs.81.3
UR  - https://arxiv.org/abs/1203.6158
ID  - 1203.6158
ER  -