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