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