Per Martin-Löf: Dependent Contexts and Substitutions
Time: Wed 2016-03-30 10.00 - 11.45
Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Participating: Per Martin-Löf, Stockholm university
Time: Wed 2016-03-30 10.00 - 11.45
Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university
Participating: Per Martin-Löf, Stockholm university