Use our pre-submission checklist
Avoid common mistakes on your manuscript.
1 Correction to: Synthese https://doi.org/10.1007/s11229-017-1569-7
The original article has been corrected. The article is published with Open Access but was missing Open Access information. This has been added.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Corfield, D. Correction to: Expressing ‘the structure of’ in homotopy type theory. Synthese 197, 701 (2020). https://doi.org/10.1007/s11229-018-1724-9
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-018-1724-9