Thorsten Altenkirch | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Nicolai Kraus
1 publication

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...

0 Thorsten Altenkirch, et al. ∙

research

∙ 05/05/2018

Free Higher Groups in Homotopy Type Theory

Given a type A in homotopy type theory (HoTT), we can define the free in...

0 Nicolai Kraus, et al. ∙

Success!

An error occurred