Anders Lundstedt: Presentation av masterarbete
Tid: Fr 2015-10-02 kl 13.15 - 14.15
Plats: Room 306, House 6, Kräftriket, Department of Mathematics, Stockholm University
Medverkande: Anders Lundstedt
Anders Lundstedt presenterar sitt masterarbete i matematik
Realizability in Coq
Examinator: Bengt Ek (KTH), Handledare: Erik Palmgren (SU)