Per Martin-Löf: Spreads and choice sequences in type theory (part three)

Time: Wed 2010-04-14 10.00 - 12.00

Location: Room 16, house 5, Kräftriket, Stockholm university

Contact:

Export to calendar