Håkon Robbestad Gylterud: Univalent types, sets and multisets - investigations in dependent type theory
Tid: To 2017-02-09 kl 13.00
Plats: Room 14, House 5, Kräftriket Matematiska Institutionen, Stockholms Universitet
Respondent: Håkon Robbestad Gylterud
Opponent: Nicola Gambino (Leeds)
Handledare: Erik Palmgren