TY  - JOUR

T1  - W-types in homotopy-type theory – CORRIGENDUM

JO  - Mathematical Structures in Computer Science

PY  - 2018/01/01

AU  - Van den Berg B

AU  - Moerdijk I

ED  - 

DO  - DOI: 10.1017/S0960129516000025

VL  - 28

IS  - 1

SP  - 140

EP  - 140

Y2  - 2024/12/22

ER  -