karl bühler digital

Home > Personen > Profile

ProfilPublikationen

David Corfield

3 Publikationen

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 Publikationen