Previous Special Year Seminar Dec 04 2012 Working Group on Univalent Foundations 1:30pm|S-101 Dec 03 2012 Univalent Foundations Tutorial 4:00pm|S-101 Nov 30 2012 Working Group on Univalent Foundations 11:00am|S-101 Nov 29 2012 Univalent Foundations Seminar The Simplicial Model of Univalence Chris Kapulkin 11:00am|S-101 Nov 28 2012 Working Group on Univalent Foundations 1:30pm|S-101 Nov 28 2012 Univalent Foundations Seminar Type SystemsVladimir Voevodsky11:00am|S-101 Nov 27 2012 Working Group on Univalent Foundations 1:30pm|S-101 Nov 26 2012 Univalent Foundations Tutorial 4:00pm|S-101 Nov 23 2012 Working Group on Univalent Foundations 11:00am|S-101 Nov 22 2012 Univalent Foundations Seminar 11:00amPaginationFirst page« FirstPrevious page‹ Previous… Page 85 Page 86 Page 87 Page 88 Current page 89 Page 90 Page 91 Page 92 Page 93…Next pageNext ›Last pageLast »
Nov 29 2012 Univalent Foundations Seminar The Simplicial Model of Univalence Chris Kapulkin 11:00am|S-101
