Matematiska institutionen
Stockholms universitet

Filosofiska institutionen
Stockholms universitet

LOGIKSEMINARIET STOCKHOLM-UPPSALA

Undertecknad kommer att tala om

Spreads and choice sequences in type theory

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

Stockholm den 17 mars 2010

Per Martin-Löf