Lourdes Del Carmen González-Huesca

ORCID

Publication Activity (10 Years)

Years Active: 2009-2023
Publications (10 Years): 10

Top Venues

LANMR (Selected Papers)

Computación y Sistemas (CyS)

LANMR

MKM/Calculemus/DML

Paris Diderot University, France (PHD)

Education History

Paris Diderot University, France

PHD

Publications

Everardo Bárcenas, Lourdes Del Carmen González-Huesca, Favio Ezequiel Miranda-Perea, Miguel Pérez-Gaspar
Thematic Section(2): Logic/Languages, Algorithms, Novel Methods of Reasoning. Computación y Sistemas (CyS) 27 (1) (2023)
Favio Ezequiel Miranda-Perea, Ximena Estrada Zavaleta, Lourdes Del Carmen González-Huesca
Fitch-Style Modal Necessity as a Substructural Sequent-Style System. Computación y Sistemas (CyS) 27 (1) (2023)
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 Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, Pilar Selene Linares-Arévalo
A dual-context sequent calculus for the constructive modal logic S4. Math. Struct. Comput. Sci. 32 (9) (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)
Karla Rami'rez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca
Gradual typing using union typing with records. LANMR (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)
Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca
Gradual Typing Using Union Typing With Records. LANMR (Selected Papers) (2019)
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. MKM/Calculemus/DML (2013)
Bruno Barras, Lourdes Del Carmen González-Huesca, Hugo Herbelin, Yann Régis-Gianas, Enrico Tassi, Makarius Wenzel, Burkhart Wolff
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems. CoRR (2013)
Guillaume Claret, Lourdes Del Carmen González-Huesca, Yann Régis-Gianas, Beta Ziliani
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation. ITP (2013)
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, Lourdes Del Carmen González-Huesca
Selective Memoization with Box Types. LSFA (2009)

Lourdes Del Carmen González-Huesca.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Lourdes Del Carmen González-Huesca