LOGIKSEMINARIET STOCKHOLM-UPPSALA Richard Garner Two-dimensional models of type theory (part 4) Onsdag den 11 juni, kl. 10:30 i sal 64119, Ångströmlaboratoriet, Uppsala.