Erik Palmgren: Voevodsky's foundations - type-theoretic background and the univalence axiom (continued)

Tid: On 2011-10-19 kl 10.15

Plats: Room 16, building 5, Kräftriket, Department of Mathematics, SU

Exportera till kalender