"Should Type Theory Replace Set Theory as the Foundation of Mathematics?" (2023)...

		westurner 6 months ago \| parent \| context \| favorite \| on: Should Type Theory (HoTT) Replace (ZFC) Set Theory... "Should Type Theory Replace Set Theory as the Foundation of Mathematics?" (2023) https://link.springer.com/article/10.1007/s10516-023-09676-0