Substructural Type Theory Date March 22, 2013 Speakers Noam Zeilberger Affiliation IMDEA Software Institute; Member, School of Mathematics School of Mathematics Univalent