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

Time: Wed 2021-12-01 10.00 - 12.00

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

Participating: Evan Cavallo (Stockholm University)

Export to calendar