POPL 2017
Sun 15 - Sat 21 January 2017
Tue 17 Jan 2017 15:00 - 15:30 at Auditorium - Homotopy type theory

Tue 17 Jan