Favio E. Miranda Perea

Available identifiers

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
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
https://portal.mardi4nfdi.de/entity/Q3305193	2020-08-06	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
Some Remarks on Type Systems for Course-of-value Recursion	2015-03-18	Paper
Selective Memoization with Box Types	2014-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q2996331	2011-05-06	Paper
Two extensions of System F with (co)iteration and primitive (co)recursion principles	2009-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q3595538	2007-08-28	Paper
Automatic theorem proving and OTTER	2001-07-01	Paper
Games in finite model theory	2001-07-01	Paper

This page was built for person: Favio E. Miranda Perea