![122288](https://sdvigpress.org/images/creator/_default.jpg)
References
David Corfield
Expressing "the structure of" in homotopy type theory![Open Access Link](images/OAlink.png)
2020
Synthese 197/2
![Open Access Link](images/OAlink.png)
Argumentation and the mathematical process![Open Access Link](images/OAlink.png)
2002
in: Appraising Lakatos, Dordrecht : Springer
![Open Access Link](images/OAlink.png)
2020
Synthese 197/2
2002
in: Appraising Lakatos, Dordrecht : Springer