| Lightweight proof by reflection using a posteriori simulation of effectful computation G Claret, L del Carmen González Huesca, Y Régis-Gianas, B Ziliani Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes …, 2013 | 28 | 2013 |
| Pervasive parallelism in highly-trustable interactive theorem proving systems B Barras, L del Carmen González Huesca, H Herbelin, Y Régis-Gianas, ... Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and …, 2013 | 21 | 2013 |
| Axiomatic and dual systems for constructive necessity, a formally verified equivalence LC González-Huesca, FE Miranda-Perea, PS Linares-Arévalo Journal of Applied Non-Classical Logics 29 (3), 255-287, 2019 | 7 | 2019 |
| Gradual typing using union typing with records KR Pulido, JL Ortega-Arjona, LCG Huesca Electronic Notes in Theoretical Computer Science 354, 171-186, 2020 | 3 | 2020 |
| On interactive proof-search for constructive modal necessity FE Miranda-Perea, LCG Huesca, PS Linares-Arévalo Electronic Notes in Theoretical Computer Science 354, 107-127, 2020 | 2 | 2020 |
| Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence LCG Huesca, FE Miranda-Perea, PS Linares-Arévalo Electronic Notes in Theoretical Computer Science 348, 61-83, 2020 | 2 | 2020 |
| Interactive proof-search for equational reasoning FE Miranda-Perea, LC González Huesca, PS Linares-Arévalo Logic Journal of the IGPL 28 (6), 1155-1181, 2020 | 1 | 2020 |
| Incrementality and effect simulation in the simply typed lambda calculus LCG Huesca Universite Paris Diderot-Paris VII, 2015 | 1 | 2015 |
| Mendler-style Iso-(Co) inductive predicates: a strongly normalizing approach FE Miranda-Perea, LC González-Huesca arXiv preprint arXiv:1203.6158, 2012 | 1 | 2012 |
| On Conceptual changes in Computer Assisted Proofs FE Miranda Perea, LC González Huesca Almagest 14 (2), 222-245, 2023 | | 2023 |
| Thematic Section (2): Logic/Languages, Algorithms, Novel Methods of Reasoning E Bárcenas, LC González Huesca, FE Miranda-Perea, M Pérez-Gaspar Computación y Sistemas 27 (1), 2023 | | 2023 |
| Fitch-Style Modal Necessity as a Substructural Sequent-Style System FE Miranda-Perea, X Estrada Zavaleta, LC Gonzalez Huesca Computación y Sistemas 27 (1), 315-326, 2023 | | 2023 |
| A dual-context sequent calculus for the constructive modal logic S4 FE Miranda-Perea, LCG Huesca, PSL Arévalo Mathematical Structures in Computer Science 32 (9), 1205-1233, 2022 | | 2022 |
| A Dual-Context Sequent Calculus for S 4 Modal Lambda-Term Synthesis FE Miranda-Perea, S Omańa Silva, LC González Huesca Computación y Sistemas 26 (2), 787-799, 2022 | | 2022 |
| On the Conciliation of Traditional and Computer-Assisted Proofs F E. Miranda-Perea, LCG Huesca Philosophy of Computing: Themes from IACAP 2019, 73-112, 2022 | | 2022 |
| Progress Report and Work Project LDCG Huesca | | |
| Work Project LDCG Huesca | | |
Favio Ezequiel Miranda-PereaDepartamento de Matemáticas, Facultad de Ciencias UNAM MéxicoVerified email at ciencias.unam.mx
