Previous Special Year Seminar Dec 06 2012 Univalent Foundations Seminar The Simplicial Model of Univalence Peter Lumsdaine 11:00am|S-101 Dec 05 2012 Working Group on Univalent Foundations 1:30pm|S-101 Dec 05 2012 Univalent Foundations Seminar Type SystemsVladimir Voevodsky11:00am|S-101 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-101PaginationFirst page« FirstPrevious page‹ Previous… Page 77 Page 78 Page 79 Page 80 Current page 81 Page 82 Page 83 Page 84 Page 85…Next pageNext ›Last pageLast »
Dec 06 2012 Univalent Foundations Seminar The Simplicial Model of Univalence Peter Lumsdaine 11:00am|S-101
Nov 29 2012 Univalent Foundations Seminar The Simplicial Model of Univalence Chris Kapulkin 11:00am|S-101