Higher Observational Type Theory

Projektinformationen

HOTT

ID Finanzhilfevereinbarung: 101170308

DOI

10.3030/101170308

EK-Unterschriftsdatum 4 Februar 2025

Startdatum 1 Mai 2025

Enddatum 30 April 2030

Finanziert unter

• European Research Council (ERC)

Gesamtkosten

€ 1 897 375,00

EU-Beitrag

€ 1 897 375,00

Koordiniert durch

EOTVOS LORAND TUDOMANYEGYETEM
Hungary

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Conference proceedings (1)

The Conatural Numbers Form an Exponential Commutative Semiring

Autoren: Szumi Xie, Viktor Bense
Veröffentlicht in: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development, 2025
Herausgeber: ACM
DOI: 10.1145/3759538.3759654

Peer reviewed articles (2)

Type Theory in Type Theory using a Strictified Syntax

Autoren: Ambrus Kaposi, Loïc Pujet
Veröffentlicht in: Proceedings of the ACM on Programming Languages, Ausgabe 9, 2025, ISSN 2475-1421
Herausgeber: Association for Computing Machinery (ACM)
DOI: 10.1145/3747535

Type Theory with Single Substitutions

Autoren: Ambrus Kaposi, Szumi Xie
Veröffentlicht in: Electronic Proceedings in Theoretical Computer Science, Ausgabe 431, 2025, ISSN 2075-2180
Herausgeber: Open Publishing Association
DOI: 10.4204/EPTCS.431.4