Previous Special Year Seminar 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-101 Oct 19 2012 Working Group on Univalent Foundations 11:00am|S-101 Oct 18 2012 Univalent Foundations Seminar On the Setoid Model of Type Theory Erik Palmgren 11:00am|S-101 Oct 17 2012 Working Group on Univalent Foundations 1:30pm|S-101PaginationFirst page« FirstPrevious page‹ Previous… Page 88 Page 89 Page 90 Page 91 Current page 92 Page 93 Page 94 Page 95 Page 96…Next pageNext ›Last pageLast »
Oct 25 2012 Univalent Foundations Seminar Kan Simplicial Set Model of Type TheoryPeter LeFanu Lumsdaine11:00am|S-101
Oct 18 2012 Univalent Foundations Seminar On the Setoid Model of Type Theory Erik Palmgren 11:00am|S-101
