Previous Special Year Seminar Jan 16 2013 Working Group on Univalent Foundations 1:30pm|S-101 Jan 16 2013 Univalent Foundations Seminar Simplicial Types Peter Lumsdaine 11:00am|S-101 Jan 15 2013 Working Group on Univalent Foundations 1:30pm|S-101 Jan 14 2013 Univalent Foundations Organizational Meeting 4:00pm|S-101 Dec 21 2012 Working Group on Univalent Foundations 11:00am|West Bldg. Lecture Hall Dec 20 2012 Univalent Foundations Seminar Constructing HITs in a Realizability ModelAndrej Bauer11:00am|West Bldg. Lecture Hall Dec 19 2012 Working Group on Univalent Foundations 1:30pm|S-101 Dec 19 2012 Univalent Foundations Seminar The Type System TSVladimir Voevodsky11:00am|S-101 Dec 18 2012 Working Group on Univalent Foundations 1:30pm|S-101 Dec 17 2012 Univalent Foundations Tutorial 4:00pm|S-101PaginationFirst page« FirstPrevious page‹ Previous… Page 83 Page 84 Page 85 Page 86 Current page 87 Page 88 Page 89 Page 90 Page 91…Next pageNext ›Last pageLast »
Dec 20 2012 Univalent Foundations Seminar Constructing HITs in a Realizability ModelAndrej Bauer11:00am|West Bldg. Lecture Hall
