Floris van Doorn, Video: What can we learn from formalizations in homotopy type theory?

Floris van Doorn, Video: What can we learn from formalizations in homotopy type theory?

Floris van Doorn, What can we learn from formalizations in homotopy type theory?, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

73M

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos

http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305250900-vanDoorn.html