Per Martin-Löf: The topological model of intuitionistic type theory
Tid: On 2017-12-06 kl 10.00 - 11.45
Plats: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit
Medverkande: Per Martin-Löf
Tid: On 2017-12-06 kl 10.00 - 11.45
Plats: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit
Medverkande: Per Martin-Löf