Previous Special Year Seminar Oct 31 2012 Working Group on Univalent Foundations 1:30pm|S-101 Oct 31 2012 Univalent Foundations Seminar Type Systems (continued)Vladimir Voevodsky11:00am|S-101 Oct 30 2012 Working Group on Univalent Foundations 1:30pm|S-101 Oct 29 2012 Univalent Foundations Tutorial 4:00pm|S-101 Oct 26 2012 Working Group on Univalent Foundations 11:00am|S-101 Oct 25 2012 Univalent Foundations Seminar Kan Simplicial Set Model of Type TheoryPeter LeFanu Lumsdaine11:00am|S-101 Oct 24 2012 Working Group on Univalent Foundations 1:30pm|S-101 Oct 24 2012 Univalent Foundations Seminar Type SystemsVladimir Voevodsky11:00am|S-101 Oct 23 2012 Working Group on Univalent Foundations 1:30pm|S-101 Oct 22 2012 Univalent Foundations Tutorial Simplicial SetMichael Shulman4:00pm|S-101PaginationFirst page« FirstPrevious page‹ Previous… Page 80 Page 81 Page 82 Page 83 Current page 84 Page 85 Page 86 Page 87 Page 88…Next pageNext ›Last pageLast »
Oct 25 2012 Univalent Foundations Seminar Kan Simplicial Set Model of Type TheoryPeter LeFanu Lumsdaine11:00am|S-101