Articles

• Favio E. Miranda Perea, Lourdes del Carmen González Huesca.
  Mendler-style Iso-(Co)inductive Predicates: a strongly normalizing approach
  Submitted to LSFA 2011. May 2011.


• Favio E. Miranda Perea.
  Two Extensions of System F with (Co)iteration and Primitive (Co)recursion Principles
  Theoretical Informatics and Applications. Vol 43(4)
  EDP Sciences 2009. doi
  


• Favio E. Miranda Perea, Lourdes del Carmen Gonzalez Huesca
  Selective Memoization with Box Types
  Electronic Notes in Theoretical Computer Science. Vol. 256
  Elsevier Science Holland 2009. doi
  


• Favio E. Miranda Perea.
  Some Remarks on Type Systems for Course-of-value Recursion
  Electronic Notes in Theoretical Computer Science. Vol 247.
  Elsevier Science Holland 2009.  doi


• Favio E. Miranda Perea.
  Realizability for Monotone and Clausular (Co)inductive Definitions.
  Electronic Notes in Theoretical Computer Science Vol 123.
  Elsevier Science Holland 2005. doi


• Favio E. Miranda Perea.
  A Curry-style Realizability Interpretation for Monotone Inductive Definitions.
  In Malvina Nissim (Editor.)
  Proceedings of the Seventh ESSLLI Student Session.
  Trento Italy. 5th.-16th. August 2002
  Original version: pdf       Extended version: pdf


• Favio E. Miranda Perea.
  Towards Modified Realizability for Monotone Inductive Definitions.
  En Memorias del 3er Encuentro Internacional de Ciencias de la Computacion (ENC01)
  Aguascalientes, Ags. Mexico. Vol. II. Sociedad Mexicana de Ciencias de la Computación 2001

Drafts and technical reports:

• Favio E. Miranda Perea, Lourdes del Carmen González Huesca.
  Mendler-style Iso-(Co)inductive Predicates: a strongly normalizing approach (Extended Version)
  June 2011.


• Favio E. Miranda Perea, Carlos Torres A., Lourdes del Carmen González Huesca, A. Liliana Reyes Cabello.
  On Logics with Monotone Inductive Definitions
  Technical report 04/10. Mathematics Department, Faculty of Science UNAM
  


• Favio E. Miranda Perea, Lourdes del Carmen González Huesca.
  Categorical Type Systems for Course-of-Value Recursion
  Technical report 03/10. Mathematics Department, Faculty of Science UNAM. In personal revision may 2011.

Doctoral Dissertation:

• Favio E. Miranda Perea.
  On Extensions of AF2 with Monotone and Clausular (Co)inductive Definitions.
  Dissertation, LMU Munich.
  Faculty of Mathematics, Computer Science and Statistics. 2004