Dissertation
Fri 18 January
-
Dissertation
Friday 2019-01-18, 13:00
Participating: Jacopo Emmenegger
Location: Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University
Doctoral student: Jacopo Emmenegger , Mathematics
2019-01-18T13:00:00.000+01:00 2019-01-18T13:00:00.000+01:00 Jacopo Emmenegger: Exact completion and type-theoretic structures (Dissertation) Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Jacopo Emmenegger: Exact completion and type-theoretic structures (Dissertation)