Short Talks by Postdoctoral Members
Higher Inductive Types
Date & Time
October 01, 2012 | 2:00pm – 2:15pm
Location
S-101Speakers
Peter Lumsdaine
Affiliation
Dalhousie University; Member, School of Mathematics