Univalent Foundations Seminar

Overview of Univalent Foundations

Date & Time

September 27, 2012 | 11:00am – 12:30pm

Location

S-101

Affiliation

Professor, School of Mathematics, IAS

Categories

Notes

(Continued from September 26, 2012)