Univalent Foundations Seminar
Directed Type Theory
Date & Time
April 10, 2013 | 11:00am – 12:30pm
Location
S-101Speakers
Michael Warren
Affiliation
Dalhousie University; Member, School of Mathematics