Mechanised Reverse Mathematics in the Calculus of Inductive Constructions

Projektinformationen

MeReMath

ID Finanzhilfevereinbarung: 101152583

DOI

10.3030/101152583

Das Projekt endete am 28 Februar 2026

EK-Unterschriftsdatum 24 April 2024

Startdatum 1 Juni 2024

Enddatum 31 Mai 2026

Finanziert unter

• Marie Skłodowska-Curie Actions (MSCA)

Gesamtkosten

Keine Daten

EU-Beitrag

€ 195 914,88

Koordiniert durch

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET AUTOMATIQUE
France

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Leistungen

Data Management Plan (1)

Data Management Plan

The Data Management Plan describes the data management life cycle for all data sets that will be collected, processed or generated by the action. It is a document describing what data will be collected, processed or generated and following what methodology and standards, whether and how this data will be shared and/or made open, and how itwill be curated and preserved.

Veröffentlichungen

Conference proceedings (4)

The Blurred Drinker Paradox: Constructive Reverse Mathematics of the Downward Löwenheim-Skolem Theorem

Autoren: Dominik Kirst, Haoyi Zeng
Veröffentlicht in: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Herausgeber: IEEE
DOI: 10.1109/LICS65433.2025.00073

Syntactic Effectful Realizability in Higher-Order Logic

Autoren: Liron Cohen, Ariel Grunfeld, Dominik Kirst, Étienne Miquey
Veröffentlicht in: 2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2025
Herausgeber: IEEE
DOI: 10.1109/LICS65433.2025.00009

From Partial to Monadic: Combinatory Algebra with Effects

Autoren: Liron Cohen and Ariel Grunfeld and Dominik Kirst and Etienne Miquey
Veröffentlicht in: 10th International Conference on Formal Structures for Computation and Deduction (FSCD), 2025
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.FSCD.2025.14

Completeness of First-Order Bi-Intuitionistic Logic

Autoren: Dominik Kirst and Ian Shillito
Veröffentlicht in: 33rd EACSL Annual Conference on Computer Science Logic (CSL), 2025
Herausgeber: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
DOI: 10.4230/LIPICS.CSL.2025.40