@Inproceedings{EPTCS81.3, author = {Miranda-Perea, Favio Ezequiel and Gonz\'alez-Huesca, Lourdes del Carmen}, year = {2012}, title = {Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach }, editor = {Rocca, Simona Ronchi della and Pimentel, Elaine}, booktitle = {{\rm Proceedings 6th Workshop on} Logical and Semantic Frameworks with Applications, {\rm Belo Horizonte, Brazil, 27 August 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {81}, publisher = {Open Publishing Association}, pages = {30-46}, doi = {10.4204/EPTCS.81.3}, }