Erik Palmgren: The Grothendieck construction and models for dependent types

Time: Wed 2013-02-27 10.00 - 11.45

Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university

Export to calendar