activity
20052025
most citedMonads need not be endofunctors

69 citations · 219 across the 12 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2021

Should Type Theory replace Set Theory as the Foundation of Mathematics

Thorsten Altenkirch

We discuss why Type Theory is preferable as foundation of Mathematics compared to set theory.