Benno van den Berg

Publications

• W-Types in Homotopy Type Theory. Benno van den Berg, Ieke Moerdijk. 2015.