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)
Abstract
TBA
Tid: On 2021-12-01 kl 10.00 - 12.00
Plats: SU, Kräftriket, House 5, Room 16
Medverkande: Evan Cavallo (Stockholm University)
TBA