Previous Special Year Seminar
Mar
27
2013
Mar
25
2013
Univalent Foundations Tutorial
Isomorphism of Types: A Simple(-Typed) Viewpoint
Sergei Soloviev
4:00pm|S-101
Mar
21
2013
Univalent Foundations Seminar
A Proof Assistant Prototype Based on Algebraic Effects and Handlers
11:00am|S-101