Catalogue > People > Profile

ProfilePublications

David Corfield

articles X

3 Publications

Expressing "the structure of" in homotopy type theory

2020

David Corfield

Synthese 197 (2)

The form and function of duality in modern mathematics

2014

Ralf Krömer, David Corfield

Philosophia Scientiae 18 (3)

Argumentation and the mathematical process

2002

David Corfield

in: Appraising Lakatos, Berlin,

3 Publications