Deutsche Gesellschaftfür phänomenologische Forschung
Zeitschrift | Autoren
(2020-2029)
Expressing "the structure of" in homotopy type theory
2020
David Corfield
Synthese 197/2
