Univalent Foundations Seminar
Natural Models of Type Theory
Date & Time
March 28, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Steve Awodey, Institute for Advanced Study
Affiliation
Carnegie Mellon University; Member, School of Mathematics