Håkon Robbestad Gylterud: Univalent types, sets and multisets - investigations in dependent type theory
Time: Thu 2017-02-09 13.00
Location: Room 14, House 5, Kräftriket Matematiska Institutionen, Stockholms Universitet
Doctoral student: Håkon Robbestad Gylterud
Opponent: Nicola Gambino (Leeds)
Supervisor: Erik Palmgren