Type theory and formalization of mathematics Date September 28, 2015 Speakers Anders Mörtberg, Institute for Advanced Study Affiliation Member, School of Mathematics Files & Media IAS-postdoctalk.pdf School of Mathematics Short Talks by Postdoctoral Members