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

Video From 23w5124: Formalization of Cohomology Theories

Floris van Doorn, University of Paris-Saclay

Thursday, May 25, 2023 09:00 - 10:00

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

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

Download this video (73M)