Favio E. Miranda Perea

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
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
scientific article; zbMATH DE number 7228884 (Why is no real title available?)	2020-08-06	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
Some remarks on type systems for course-of-value recursion Electronic Notes in Theoretical Computer Science	2015-03-18	Paper
Selective Memoization with Box Types Electronic Notes in Theoretical Computer Science	2014-07-23	Paper
scientific article; zbMATH DE number 5885155 (Why is no real title available?)	2011-05-06	Paper
Two extensions of System F with (co)iteration and primitive (co)recursion principles RAIRO - Theoretical Informatics and Applications	2009-12-18	Paper
scientific article; zbMATH DE number 5183500 (Why is no real title available?)	2007-08-28	Paper
Automatic theorem proving and OTTER	2001-07-01	Paper
Games in finite model theory	2001-07-01	Paper

Research outcomes over time

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