Altenkirch, Thorsten, "Should Type Theory Replace Set Theory as the Foundation of Mathematics?", Global Philosophy, 2023