Realizability for Monotone and Clausular (Co)inductive Definitions. - Favio Ezequiel Miranda-Perea (WoLLIC, 2004)

On extensions of AF2 with monotone and clausular (Co)inductive definitions. - Favio Ezequiel Miranda-Perea (2004)

Some Remarks on Type Systems for Course-of-value Recursion. - Favio Ezequiel Miranda-Perea (LSFA, 2008)

Selective Memoization with Box Types. - Favio Ezequiel Miranda-Perea; Lourdes Del Carmen González-Huesca (LSFA, 2009)

Two extensions of system ${ mathsf F}$ with (co)iteration and primitive (co)recursion principles. - Favio Ezequiel Miranda-Perea (RAIRO Theor. Informatics Appl., 2009)

Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach - Favio Ezequiel Miranda-Perea; Lourdes Del Carmen González-Huesca (LSFA, 2011)

How to prove it in Natural Deduction: A Tactical Approach. - Favio Ezequiel Miranda-Perea; P. Selene Linares-Arévalo; Atocha Aliseda-Llera (CoRR, 2015)

On interactive proof-search for constructive modal necessity. - Favio Ezequiel Miranda-Perea; Lourdes Del Carmen González-Huesca; P. Selene Linares-Arévalo (LANMR, 2019)

Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence. - Lourdes Del Carmen González-Huesca; Favio Ezequiel Miranda-Perea; P. Selene Linares-Arévalo (LSFA, 2019)

Axiomatic and dual systems for constructive necessity, a formally verified equivalence. - Lourdes Del Carmen González-Huesca; Favio Ezequiel Miranda-Perea; P. Selene Linares-Arévalo (J. Appl. Non Class. Logics, 2019)

A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis. - Favio Ezequiel Miranda-Perea; Sammantha Omana Silva; Lourdes Del Carmen González-Huesca (Computación y Sistemas, 2022)

A dual-context sequent calculus for the constructive modal logic S4. - Favio Ezequiel Miranda-Perea; Lourdes Del Carmen González-Huesca; Pilar Selene Linares-Arévalo (Math. Struct. Comput. Sci., 2022)

Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning. - Everardo Bárcenas; Lourdes Del Carmen González-Huesca; Favio Ezequiel Miranda-Perea; Miguel Pérez-Gaspar (Computación y Sistemas (CyS), 2023)

Fitch-Style Modal Necessity as a Substructural Sequent-Style System. - Favio Ezequiel Miranda-Perea; Ximena Estrada Zavaleta; Lourdes Del Carmen González-Huesca (Computación y Sistemas (CyS), 2023)