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.
Veröffentlichungen
Autoren:
Felix Cherubini, Thierry Coquand, Matthias Hutzler
Veröffentlicht in:
Mathematical Structures in Computer Science, 2024, ISSN 0960-1295
Herausgeber:
Cambridge University Press (CUP)
DOI:
10.1017/S0960129524000239
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor