Previous Special Year Seminar Apr 09 2013 Working Group on Univalent Foundations 1:30pm|S-101 Apr 08 2013 Univalent Foundations Tutorial 4:00pm|S-101 Apr 05 2013 Working Group on Univalent Foundations 11:00am|S-101 Apr 04 2013 Univalent Foundations Seminar HoTT is a Polyvalent Foundation of MathemticsAndré Joyal11:00am|S-101 Apr 03 2013 Working Group on Univalent Foundations 1:30pm|S-101 Apr 03 2013 Univalent Foundations Seminar On the Category of hSetsBas Spitters11:00am|S-101 Apr 02 2013 Working Group on Univalent Foundations 1:30pm|S-101 Apr 01 2013 Univalent Foundations Tutorial 4:00pm|S-101 Mar 29 2013 Working Group on Univalent Foundations 11:00am|S-101 Mar 28 2013 Univalent Foundations Seminar Natural Models of Type TheorySteve Awodey11:00am|S-101PaginationFirst page« FirstPrevious page‹ Previous… Page 76 Page 77 Page 78 Page 79 Current page 80 Page 81 Page 82 Page 83 Page 84…Next pageNext ›Last pageLast »
Apr 04 2013 Univalent Foundations Seminar HoTT is a Polyvalent Foundation of MathemticsAndré Joyal11:00am|S-101
