Formalisation of Constructive Univalent Type Theory

Informazioni relative al progetto

ForCUTT

ID dell’accordo di sovvenzione: 101053291

DOI

10.3030/101053291

Data della firma CE 19 Maggio 2022

Data di avvio 1 Novembre 2022

Data di completamento 31 Ottobre 2027

Finanziato da

• European Research Council (ERC)

Costo totale

€ 2 499 776,25

Contributo UE

€ 2 499 776,00

Coordinato da

GOETEBORGS UNIVERSITET
Sweden

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (1)

A foundation for synthetic algebraic geometry

Autori: Felix Cherubini, Thierry Coquand, Matthias Hutzler
Pubblicato in: Mathematical Structures in Computer Science, 2024, ISSN 0960-1295
Editore: Cambridge University Press (CUP)
DOI: 10.1017/S0960129524000239