research
∙
07/12/2023
Internal parametricity, without an interval
Parametricity is a property of the syntax of type theory implying e.g. t...
share
research
∙
11/11/2021
Should Type Theory replace Set Theory as the Foundation of Mathematics
We discuss why Type Theory is preferable as foundation of Mathematics co...
research
∙
07/01/2020
The Integers as a Higher Inductive Type
We consider the problem of defining the integers in Homotopy Type Theory...
research
∙
05/05/2018