Per Martin-Löf​: The topological model of intuitionistic type theory

Tid: On 2017-12-06 kl 10.00 - 11.45

Plats: Room 16, House 5, Kräftriket, Department of Mathematics, Stockholm Universit

Medverkande: Per Martin-Löf

Exportera till kalender