Univalent Foundations Seminar
Locally Cartesian Closed Infinity Categories
Date & Time
February 21, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Joachim Kock
Affiliation
Universitat Autonoma de Barcelona