TY  - JOUR

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

JO  - Mathematical Structures in Computer Science

PY  - 2018/01/01

AU  - Berg BVD

AU  - Moerdijk I

ED  - 

VL  - 28

SP  - 140

EP  - 140

Y2  - 2025/12/08

ER  -