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 HallSpeakers
Vladimir Voevodsky, Institute for Advanced Study
Affiliation
School of Mathematics, IAS