Repository | People

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

Order by

Filter

Language

Period

Style