Univalent Foundations Seminar
Substructural Type Theory
Date & Time
March 22, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Noam Zeilberger, Institute for Advanced Study
Affiliation
IMDEA Software Institute; Member, School of Mathematics