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