Skip to main content
Ir a la página de inicio de la Comisión Europea (se abrirá en una nueva ventana)
español español
CORDIS - Resultados de investigaciones de la UE
CORDIS

Formalisation of Constructive Univalent Type Theory

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

A foundation for synthetic algebraic geometry (se abrirá en una nueva ventana)

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

Mi folleto 0 0