Disputation
To 9 februari
-
Disputation
torsdag 2017-02-09, 13.00
Medverkande: Håkon Robbestad Gylterud
Plats: Room 14, House 5, Kräftriket Matematiska Institutionen, Stockholms Universitet
Respondent: Håkon Robbestad Gylterud
2017-02-09T13:00:00.000+01:00 2017-02-09T13:00:00.000+01:00 Håkon Robbestad Gylterud: Univalent types, sets and multisets - investigations in dependent type theory (Disputation) Room 14, House 5, Kräftriket Matematiska Institutionen, Stockholms Universitet (KTH, Stockholm, Sweden)Håkon Robbestad Gylterud: Univalent types, sets and multisets - investigations in dependent type theory (Disputation)