Thorsten Altenkirch

Publications

• Should Type Theory Replace Set Theory as the Foundation of Mathematics. Thorsten Altenkirch. 2022.
• The Integers as a Higher Inductive Type. Thorsten Altenkirch, Luis Scoccola. 2020.