EasyChair Smart Slide
Free Higher Groups in Homotopy Type Theory
Free Higher Groups in Homotopy Type Theory