Kalender

Ulrik Buchholtz: Weak dependent type theories

3 jul

Seminarium, Logik

fredag 2015-07-03, 15.00 - 16.00

Medverkande: Ulrik Buchholtz, Carnegie-Mellon University

Plats: Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university

2015-07-03T15:00:00.161+02:00 2015-07-03T16:00:00.161+02:00 Ulrik Buchholtz: Weak dependent type theories (Seminarium, Logik) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Ulrik Buchholtz: Weak dependent type theories (Seminarium, Logik)