2
1
1
0
1
1
Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016
by Chris Kapulkin 19 Oct '15
by Chris Kapulkin 19 Oct '15
19 Oct '15
1
0
1
0
2
1
1
0
2
1
1
0
02 Oct '15
1
0