Lourdes del Carmen González Huesca

Available identifiers

zbMath Open del-carmen-gonzalez-huesca.lourdesMaRDI QIDQ2133448

List of research outcomes

Publication	Date of Publication	Type
On conceptual changes in computer assisted proofs	2024-08-20	Paper
A dual-context sequent calculus for the constructive modal logic S4	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
https://portal.mardi4nfdi.de/entity/Q5858675	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	2021-01-08	Paper
Axiomatic and dual systems for constructive necessity, a formally verified equivalence	2019-08-26	Paper
https://portal.mardi4nfdi.de/entity/Q2944052	2015-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q2944083	2015-09-07	Paper
Selective Memoization with Box Types	2014-07-23	Paper
Pervasive Parallelism in Highly-Trustable Interactive Theorem Proving Systems	2013-08-09	Paper
Lightweight Proof by Reflection Using a Posteriori Simulation of Effectful Computation	2013-08-07	Paper

Research outcomes over time

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