Seminarium, Kombinatorik
On 6 december
-
Seminarium, Kombinatorik
onsdag 2017-12-06, 10.00 - 11.45
Medverkande: Per Martin-Löf
Plats: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit
2017-12-06T10:00:00.000+01:00 2017-12-06T11:45:00.000+01:00 Per Martin-Löf: The topological model of intuitionistic type theory (Seminarium, Kombinatorik) Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit (KTH, Stockholm, Sweden)Per Martin-Löf: The topological model of intuitionistic type theory (Seminarium, Kombinatorik)