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
Participating: Evan Cavallo (Stockholm University)
Abstract
TBA
Time: Wed 2021-11-24 10.00 - 12.00
Location: SU, Kräftriket, House 5, Room 16
Participating: Evan Cavallo (Stockholm University)
TBA