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

Time: Wed 2011-10-19 10.15

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

Export to calendar