
David Corfield
Artikeln
XExpressing "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

Artikeln
XExpressing "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