Disputation
Fr 18 januari
-
Disputation
fredag 2019-01-18, 13.00
Medverkande: Jacopo Emmenegger
Plats: Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University
Respondent: 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 (Disputation) Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Jacopo Emmenegger: Exact completion and type-theoretic structures (Disputation)