Per Martin-Löf: Spreads and choice sequences in type theory (part three)
Per Martin-Löf, Stockholms universitet
Tid: On 2010-04-14 kl 10.00 - 12.00
Plats: Room 16, house 5, Kräftriket, Stockholm university
Kontakt:
Per Martin-Löf