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