CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Publications
Auteurs:
Felix Cherubini, Thierry Coquand, Matthias Hutzler
Publié dans:
Mathematical Structures in Computer Science, 2024, ISSN 0960-1295
Éditeur:
Cambridge University Press (CUP)
DOI:
10.1017/S0960129524000239
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible