Correction to: Expressing ‘the structure of’ in homotopy type theory
Crossref DOI link: https://doi.org/10.1007/s11229-018-1724-9
Published Online: 2018-03-19
Published Print: 2020-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Corfield, David http://orcid.org/0000-0003-0432-3221
Text and Data Mining valid from 2018-03-19
Article History
First Online: 19 March 2018