Mini-symposium: type theory and constructive mathematics
Time: Fri 2017-02-10 10.00
Location: Room 22, House 5, Kräftriket, Department of Mathematics, Stockholm University
Dear all,
Following Håkon Gylterud’s disputation on Thursday, we are taking advantage of the visitors for a day of talks this Friday (10 Feb), on various topics in type theory and constructive mathematics.
All talks will be in Kräftriket, hus 5, rum 22.
10:00–11:00 Andrej Bauer: A look at Andromeda
11:10–12:10 Maria Emilia Maietti: Martin-Löf’s type theory in support to the Minimalist Foundation.
[ lunch ]
13:40–14:40 Nicola Gambino: Relative pseudomonads, Kleisli bicategories, and substitution monoidal structures
14:50–15:30 Henrik Forsell: Constructive reflection principles for regular theories
[ fika ]