Short Talks by Postdoctoral Members
Computing with Univalence
Date & Time
September 28, 2012 | 4:30pm – 4:45pm
Location
S-101Speakers
Daniel Licata, Institute for Advanced Study
Affiliation
Carnegie Mellon University; Member, School of Mathematics