Erik Palmgren: On dependently typed first-order logic

Tid: On 2013-09-18 kl 10.00 - 11.45

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

Exportera till kalender