Skip to main content
Vai all'homepage della Commissione europea (si apre in una nuova finestra)
italiano italiano
CORDIS - Risultati della ricerca dell’UE
CORDIS

Higher Observational Type Theory

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

The Conatural Numbers Form an Exponential Commutative Semiring (si apre in una nuova finestra)

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

Type Theory in Type Theory using a Strictified Syntax (si apre in una nuova finestra)

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 (si apre in una nuova finestra)

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

È in corso la ricerca di dati su OpenAIRE...

Si è verificato un errore durante la ricerca dei dati su OpenAIRE

Nessun risultato disponibile

Il mio fascicolo 0 0