Per Martin-Löf: The topological model of intuitionistic type theory
Time: Wed 2017-12-06 10.00 - 11.45
Location: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit
Participating: Per Martin-Löf
Time: Wed 2017-12-06 10.00 - 11.45
Location: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit
Participating: Per Martin-Löf