André Joyal’s 70th Birthday A Type System With Two Kinds of Identity Types Date & Time February 25, 2013 | 10:00am – 11:00am Location West Bldg. Lecture Hall Speakers Vladimir Voevodsky, Institute for Advanced Study Affiliation School of Mathematics, IAS Categories Mathematics Academic Tags André Joyal’s 70th Birthday
