Repository | Directory | Profile
![122288](/images/creator/_default.jpg)
David Corfield
Expressing "the structure of" in homotopy type theory
2020
Synthese 197/2
![Open Access Link](/images/OAlink.png)
The form and function of duality in modern mathematics
2014
Philosophia Scientiae 18/3
![Open Access](/images/book.png)
Argumentation and the mathematical process
2002
in: Appraising Lakatos, Dordrecht : Springer
![Open Access Link](/images/OAlink.png)