References
David Corfield
Expressing "the structure of" in homotopy type theory
2020
Synthese 197/2
Argumentation and the mathematical process
2002
in: Appraising Lakatos, Dordrecht : Springer
2020
Synthese 197/2
2002
in: Appraising Lakatos, Dordrecht : Springer