Previous Special Year Seminar Nov 14 2012 Univalent Foundations Seminar Toward Higher Inductive TypesMichael Shulman11:00am|S-101 Nov 13 2012 Working Group on Univalent Foundations 1:30pm|S-101 Nov 12 2012 Univalent Foundations Tutorial 4:00pm|S-101 Nov 09 2012 Working Group on Univalent Foundations 1:30pm|S-101 Nov 08 2012 Univalent Foundations Seminar Peter Lumsdaine 11:00am|S-101 Nov 07 2012 Univalent Foundations Organizational Meeting 11:00am|S-101 Nov 06 2012 Working Group on Univalent Foundations 1:30pm|S-101 Nov 05 2012 Univalent Foundations Tutorial 4:00pm|S-101 Nov 02 2012 Working Group on Univalent Foundations 11:00am|S-101 Nov 01 2012 Univalent Foundations Seminar Kan Simplicial Set Model of Type Theory (continued) Peter Lumsdaine 11:00am|S-101PaginationFirst page« FirstPrevious page‹ Previous… Page 79 Page 80 Page 81 Page 82 Current page 83 Page 84 Page 85 Page 86 Page 87…Next pageNext ›Last pageLast »
Nov 01 2012 Univalent Foundations Seminar Kan Simplicial Set Model of Type Theory (continued) Peter Lumsdaine 11:00am|S-101