research
∙
01/25/2023
Set-Theoretic and Type-Theoretic Ordinals Coincide
In constructive set theory, an ordinal is a hereditarily transitive set....
share
research
∙
09/05/2022
Inferring Region Types via an Abstract Notion of Environment Transformation
Region-based type systems are a powerful tool for various kinds of progr...
research
∙
08/07/2022
Type-Theoretic Approaches to Ordinals
In a constructive setting, no concrete formulation of ordinal numbers ca...
research
∙
07/23/2021
Type-based Enforcement of Infinitary Trace Properties for Java
A common approach to improve software quality is to use programming guid...
research
∙
04/06/2021
Connecting Constructive Notions of Ordinals in Homotopy Type Theory
In classical set theory, there are many equivalent ways to introduce ord...
research
∙
12/03/2019
On the Herbrand Functional Interpretation
We show that the types of the witnesses in the Herbrand functional inter...
research
∙
08/16/2019
A Gentzen-style monadic translation of Gödel's System T
We present a monadic translation of Gödel's System T in the spirit of Ge...
research
∙
04/22/2019
