Repository |

(2020) Synthese 197 (2).

Correction to

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.