Follow

The mathematical work of Vladimir Voevodsky video.ias.edu/VoevodskyMemConf

Nice intro and goes into homotopy type theory a bit near the end.

Sign in to participate in the conversation
Functional Café

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!