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

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

Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. - Guillaume Claret; Lourdes Del Carmen González-Huesca; Yann Régis-Gianas; Beta Ziliani (ITP, 2013)

Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. - Bruno Barras; Lourdes Del Carmen González-Huesca; Hugo Herbelin; Yann Régis-Gianas; Enrico Tassi; Makarius Wenzel; Burkhart Wolff (MKM/Calculemus/DML, 2013)

Incrementality and effect simulation in the simply typed lambda calculus. (Incrémentalité et simulation d'effets dans le lambda calcul simplement typé). - Lourdes Del Carmen González-Huesca (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)

Gradual Typing Using Union Typing With Records. - Karla Ramírez Pulido; Jorge Luis Ortega-Arjona; Lourdes Del Carmen González-Huesca (LANMR (Selected Papers), 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)