Calendar
Fri 03 July
-
Seminar, Logic
Friday 2015-07-03, 15:00 - 16:00
Participating: Ulrik Buchholtz, Carnegie-Mellon University
Location: 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 (Seminar, Logic) Room 306, building 6, Kräftriket, Department of mathematics, Stockholm university (KTH, Stockholm, Sweden)Ulrik Buchholtz: Weak dependent type theories (Seminar, Logic)