Matematiska institutionen
Stockholms universitet

Filosofiska institutionen
Stockholms universitet

LOGIKSEMINARIET STOCKHOLM-UPPSALA

Undertecknad fortsätter att tala om

Spreads and choice sequences in type theory

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

Stockholm den 29 mars 2010

Per Martin-Löf