Lourdes Del Carmen González-Huesca

16 papers B 1Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
Fitch-Style Modal Necessity as a Substructural Sequent-Style System.
Computación y Sistemas (CyS)
Favio Ezequiel Miranda-Perea, Ximena Estrada Zavaleta, Lourdes Del Carmen González-Huesca
2023 J jnl
Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning.
Computación y Sistemas (CyS)
Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar
2022 J jnl
A Dual-Context Sequent Calculus for S4 Modal Lambda-Term Synthesis.
Computación y Sistemas
Favio Ezequiel Miranda-Perea, Sammantha Omana Silva, Lourdes Del Carmen González-Huesca
2022 J jnl
A dual-context sequent calculus for the constructive modal logic S4.
Math. Struct. Comput. Sci.
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, Pilar Selene Linares-Arévalo
2019 J jnl
Axiomatic and dual systems for constructive necessity, a formally verified equivalence.
J. Appl. Non Class. Logics
Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo
2019 — conf
Dual and Axiomatic Systems for Constructive S4, a Formally Verified Equivalence.
LSFA
Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, P. Selene Linares-Arévalo
2019 — conf
Gradual Typing Using Union Typing With Records.
LANMR (Selected Papers)
Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca
2019 — conf
Gradual typing using union typing with records.
LANMR
Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca
2019 — conf
On Interactive Proof-Search for Constructive Modal Necessity.
LANMR (Selected Papers)
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
2019 — conf
On interactive proof-search for constructive modal necessity.
LANMR
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo
2015 — —
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
2013 B conf
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation.
ITP
Guillaume Claret, Lourdes Del Carmen González-Huesca, Yann Régis-Gianas, Beta Ziliani
2013 — conf
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.
MKM/Calculemus/DML
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
2013 J jnl
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems.
CoRR
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
2011 — conf
Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach
LSFA
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca
2009 — conf
Selective Memoization with Box Types.
LSFA
Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca