karl bühler digital

Home > People > Profile

Profile Publications

David Corfield

articles X

3 Publications

Expressing "the structure of" in homotopy type theory

2020

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

in: Appraising Lakatos, Berlin,

3 Publications