Fri, 01/27/2017 - 01:30 PM Type Theoretical Mathematics Colloquia Abstract Speaker Florian Sprung Location WXLR A106