Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Higher Observational Type Theory

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

The Conatural Numbers Form an Exponential Commutative Semiring (opens in new window)

Author(s): Szumi Xie, Viktor Bense
Published in: Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development, 2025
Publisher: ACM
DOI: 10.1145/3759538.3759654

Type Theory in Type Theory using a Strictified Syntax (opens in new window)

Author(s): Ambrus Kaposi, Loïc Pujet
Published in: Proceedings of the ACM on Programming Languages, Issue 9, 2025, ISSN 2475-1421
Publisher: Association for Computing Machinery (ACM)
DOI: 10.1145/3747535

Type Theory with Single Substitutions (opens in new window)

Author(s): Ambrus Kaposi, Szumi Xie
Published in: Electronic Proceedings in Theoretical Computer Science, Issue 431, 2025, ISSN 2075-2180
Publisher: Open Publishing Association
DOI: 10.4204/EPTCS.431.4

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0