David Corfield
3 Publications
Expressing "the structure of" in homotopy type theory
2020
Synthese 197 (2)
The form and function of duality in modern mathematics
2014
Philosophia Scientiae 18 (3)
3 Publications
3 Publications
Synthese 197 (2)
Philosophia Scientiae 18 (3)
3 Publications