Lourdes Del Carmen González-Huesca

According to our database, Lourdes Del Carmen González-Huesca authored at least 13 papers between 2009 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

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

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., October, 2022

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

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

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

Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, 2019

Gradual Typing Using Union Typing With Records.

Karla Ramírez Pulido, Jorge Luis Ortega-Arjona, Lourdes Del Carmen González-Huesca

Proceedings of the Selected Papers of the Eleventh and Twelfth Latin American Workshop on Logic/Languages, 2019

On interactive proof-search for constructive modal necessity.

Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca, P. Selene Linares-Arévalo

Proceedings of the Twelfth Latin American Workshop on Logic/Languages, 2019

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

PhD thesis, 2015

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

Proceedings of the Intelligent Computer Mathematics, 2013

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

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2011

Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach

Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca

Proceedings of the Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, 2011

2009

Selective Memoization with Box Types.

Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca

Proceedings of the Fourth Workshop on Logical and Semantic Frameworks, with Applications, 2009