Lourdes del Carmen González Huesca
Author
Alternate names Lourdes Del Carmen Gonzalez Huesca, Lourdes Del Carmen González Huesca, Lourdes Del Carmen González‐Huesca
Institution Universidad Nacional Autónoma de México
Past institutions Universidad Nacional Autónoma de México, Laboratory Preuves, Programmes et Systèmes, Centre National de la Recherche Scientifique, Institut national de recherche en informatique et en automatique, Université Paris Cité +1 more
ORCID: Yes
H-index: 3
I10-index: 2
Works count: 19
Citations count: 42
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation
2013 · Guillaume Claret, Lourdes del Carmen González Huesca, et al. · Lecture notes in computer science
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems
2013 · Bruno Barras, Lourdes del Carmen González Huesca, et al. · Lecture notes in computer science
Axiomatic and dual systems for constructive necessity, a formally verified equivalence
2019 · Lourdes del Carmen González Huesca, Favio E. Miranda-Perea, et al. · Journal of Applied Non-Classical Logics