Peter Dybjer: Tests, games, and Martin-Löf's meaning explanations for intuitionistic type theory

Time: Wed 2012-09-12 10.00 - 11.45

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

Export to calendar