Skip to main content

Erik Palmgren: On dependently typed first-order logic

Erik Palmgren, Stockholm university

Time: Wed 2013-09-18 10.00 - 11.45

Location: Room 16, building 5, Kräftriket, Department of mathematics, Stockholm university

Export to calendar

To the calendar