Favio E. Miranda-Perea

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 5

Top Topics

Inference Rules

Computing Systems

Top Venues

LANMR (Selected Papers)

Computación y Sistemas

Publications

Favio E. Miranda-Perea, Sammantha Omana Silva, Lourdes Del Carmen González-Huesca
A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis. Computación y Sistemas 26 (2) (2022)
Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
On interactive proof-search for constructive modal necessity. LANMR (2019)
Lourdes Del Carmen González-Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo
Axiomatic and dual systems for constructive necessity, a formally verified equivalence. J. Appl. Non Class. Logics 29 (3) (2019)
Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
On Interactive Proof-Search for Constructive Modal Necessity. LANMR (Selected Papers) (2019)
Lourdes Del Carmen González-Huesca, Favio E. Miranda-Perea, P. Selene Linares-Arévalo
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence. LSFA (2019)
Favio E. Miranda-Perea, P. Selene Linares-Arévalo, Atocha Aliseda-Llera
How to prove it in Natural Deduction: A Tactical Approach. CoRR (2015)
Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach LSFA (2011)
Favio E. Miranda-Perea
Two extensions of system ${\mathsf F}$ with (co)iteration and primitive (co)recursion principles. RAIRO Theor. Informatics Appl. 43 (4) (2009)
Favio E. Miranda-Perea, Lourdes Del Carmen González-Huesca
Selective Memoization with Box Types. LSFA (2009)
Favio E. Miranda-Perea
Some Remarks on Type Systems for Course-of-value Recursion. LSFA (2008)
Favio E. Miranda-Perea
Realizability for Monotone and Clausular (Co)inductive Definitions. Electron. Notes Theor. Comput. Sci. 123 (2005)