EasyChair Smart Slide
 
Free Higher Groups in Homotopy Type Theory
 
1
2
3
4
5
6
7
8
1
2
3
4