Lourdes del Carmen González Huesca

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On conceptual changes in computer assisted proofs Almagest	2024-08-20	Paper
A dual-context sequent calculus for the constructive modal logic S4 Mathematical Structures in Computer Science	2023-04-19	Paper
On interactive proof-search for constructive modal necessity	2022-04-29	Paper
Gradual typing using union typing with records	2022-04-29	Paper
Mendler-style iso-(co)inductive predicates: a strongly normalizing approach	2021-04-14	Paper
Mendler-style iso-(co)inductive predicates: a strongly normalizing approach (available as arXiv preprint)	2021-04-14	Paper
Dual and axiomatic systems for constructive S4, a formally verified equivalence	2021-01-19	Paper
Interactive proof-search for equational reasoning Logic Journal of the IGPL	2021-01-08	Paper
Axiomatic and dual systems for constructive necessity, a formally verified equivalence Journal of Applied Non-Classical Logics	2019-08-26	Paper
scientific article; zbMATH DE number 6479091 (Why is no real title available?)	2015-09-07	Paper
scientific article; zbMATH DE number 6479117 (Why is no real title available?)	2015-09-07	Paper
Selective Memoization with Box Types Electronic Notes in Theoretical Computer Science	2014-07-23	Paper
Pervasive parallelism in highly-trustable interactive theorem proving systems Lecture Notes in Computer Science	2013-08-09	Paper
Lightweight proof by reflection using a posteriori simulation of effectful computation Interactive Theorem Proving	2013-08-07	Paper

Research outcomes over time

This page was built for person: Lourdes del Carmen González Huesca