Till innehåll på sidan

Evan Cavallo: Quillen model structures from models of cubical type theory

Tid: On 2021-11-24 kl 10.00 - 12.00

Plats: SU, Kräftriket, House 5, Room 16

Föreläsare: Evan Cavallo (Stockholm University)

Abstract

TBA