Andre' Joyal's 70th Birthday

Submitted by admin on Mon, 02/25/2013 - 11:01
A Type System With Two Kinds of Identity Types
Vladimir Voevodsky
School of Mathematics, IAS
Date & Time: 
Mon, 02/25/2013 - 10:00 - 11:00
Location: 
West Bldg. Lecture Hall
terms: