Previous Special Year Seminar
Apr
11
2013
Univalent Foundations Final Seminar
Homotopy Theory in Type Theory
``The Homotopy Group'' ( (1) Guillaume Brunerie, (2) Dan Licata, (3) Peter Lumsdaine)
11:00am|S-101
Apr
04
2013