Short Talks by Postdoctoral Members
Type theory and formalization of mathematics
Date & Time
September 28, 2015 | 2:15pm – 2:30pm
Location
S-101Speakers
Anders Mörtberg, Institute for Advanced Study
Affiliation
Member, School of Mathematics