U.S. National Science Foundation

Mathematical Sciences Institutes

Home
Institutes
Events
Highlights
Videos
About

Videos

Introduction to homotopy type theory

Presenter

Reid Barton

June 24, 2026

Event: Machine Computation in Homotopy Theory

MathInstitutes.org

Home
Institutes
Events
Highlights
Videos
About

Institutes

AIM
IAS
ICARM
ICERM
IMSI
IPAM
SLMath

Search

Events

Highlights

Videos

Any opinions, findings, and conclusions or recommendations expressed on this website are those of the participants and do not necessarily reflect the views of the U.S. National Science Foundation or the participating institutions. This site is maintained collaboratively by principal investigators of the active Mathematical Sciences Research Institute awards, independent of NSF.

support@icerm.brown.edu