Degree project
Fri 15 December - Sun 31 December
-
Degree project
Monday 2017-12-18, 11:00 - 12:00
Participating: Martin Lundfall (MSc student)
Location: 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 (Degree project) Room 14, House 5, Kräftriket, Department of Mathematics, Stockholm University (KTH, Stockholm, Sweden)Martin Lundfall: Models of linear dependent type theory (Degree project)