Talks

• Strictly Associative Sigmas. HoTT MURI 2024 meeting.