David Corfield
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
Argumentation and the mathematical process
2002
in: Appraising Lakatos, Dordrecht : Springer