Examensarbete
Fr 15 december - Sö 31 december
-
Examensarbete
måndag 2017-12-18, 11.00 - 12.00
Medverkande: Martin Lundfall (MSc student)
Plats: Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University
Respondent: Martin Lundfall (MSc student)
2017-12-18T11:00:00.000+01:00 2017-12-18T12:00:00.000+01:00 Martin Lundfall: Models of linear dependent type theory (Examensarbete) Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Martin Lundfall: Models of linear dependent type theory (Examensarbete)