Higher Observational Type Theory

Informazioni relative al progetto

HOTT

ID dell’accordo di sovvenzione: 101170308

DOI

10.3030/101170308

Data della firma CE 4 Febbraio 2025

Data di avvio 1 Maggio 2025

Data di completamento 30 Aprile 2030

Finanziato da

• European Research Council (ERC)

Costo totale

€ 1 897 375,00

Contributo UE

€ 1 897 375,00

Coordinato da

EOTVOS LORAND TUDOMANYEGYETEM
Hungary

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

Conference proceedings (1)

The Conatural Numbers Form an Exponential Commutative Semiring

Autori: Szumi Xie, Viktor Bense
Pubblicato in: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development, 2025
Editore: ACM
DOI: 10.1145/3759538.3759654

Peer reviewed articles (2)

Type Theory in Type Theory using a Strictified Syntax

Autori: Ambrus Kaposi, Loïc Pujet
Pubblicato in: Proceedings of the ACM on Programming Languages, Numero 9, 2025, ISSN 2475-1421
Editore: Association for Computing Machinery (ACM)
DOI: 10.1145/3747535

Type Theory with Single Substitutions

Autori: Ambrus Kaposi, Szumi Xie
Pubblicato in: Electronic Proceedings in Theoretical Computer Science, Numero 431, 2025, ISSN 2075-2180
Editore: Open Publishing Association
DOI: 10.4204/EPTCS.431.4