Matematiska institutionen
Stockholms universitet

Filosofiska institutionen
Stockholms universitet

LOGIKSEMINARIET STOCKHOLM-UPPSALA

Johan Granström talar om

Metamodelling in Constructive Type Theory

onsdagen den 26 maj kl. 10-12 i sal 16, hus 5, Kräftriket.

Stockholm den 18 maj 2010

Per Martin-Löf

_______________________________________________