Skip to main content

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

Time: Wed 2021-11-24 10.00 - 12.00

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

Lecturer: Evan Cavallo (Stockholm University)

Abstract

TBA