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
45874
Dorothea Phares
phares@ias.edu
Mon, 02/25/2013 - 14:35
Thu, 01/01/1970 (All day)