
Should Type Theory replace Set Theory as the Foundation of Mathematics
We discuss why Type Theory is preferable as foundation of Mathematics co...
read it

The Integers as a Higher Inductive Type
We consider the problem of defining the integers in Homotopy Type Theory...
read it

Free Higher Groups in Homotopy Type Theory
Given a type A in homotopy type theory (HoTT), we can define the free in...
read it
Thorsten Altenkirch
is this you? claim profile