Should Type Theory Replace Set Theory as the Foundation of Mathematics?
Crossref DOI link: https://doi.org/10.1007/s10516-023-09676-0
Published Online: 2023-02-13
Published Print: 2023-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Altenkirch, Thorsten http://orcid.org/0000-0002-6582-5025
Text and Data Mining valid from 2023-02-01
Version of Record valid from 2023-02-13
Article History
Received: 12 August 2021
Accepted: 15 January 2023
First Online: 13 February 2023