Univalent Foundations Tutorial Date & Time October 15, 2012 | 4:00pm – 5:30pm Event Series Special year seminar - Math Categories Mathematics Academic Tags Special Year 2012-13: Univalent Foundations of Mathematics Special Year 2012-13: Univalent Foundations of Mathematics - Seminar
