Till innehåll på sidan

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

Tid: On 2021-12-01 kl 10.00 - 12.00

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

Medverkande: Evan Cavallo (Stockholm University)

Exportera till kalender

Abstract

TBA