Search
(2020) Synthese 197 (2).
pp. 701-701
Publication details
Full citation:
Correction to, : expressing "the structure of" in homotopy type theory, , .
This document is unfortunately not available for download at the moment.