Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Higher Observational Type Theory

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

The Conatural Numbers Form an Exponential Commutative Semiring (öffnet in neuem Fenster)

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

Type Theory in Type Theory using a Strictified Syntax (öffnet in neuem Fenster)

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 (öffnet in neuem Fenster)

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

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0