CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Publicaciones
Autores:
Felix Cherubini, Thierry Coquand, Matthias Hutzler
Publicado en:
Mathematical Structures in Computer Science, 2024, ISSN 0960-1295
Editor:
Cambridge University Press (CUP)
DOI:
10.1017/S0960129524000239
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles