Astra Kolomatskaia, Semi-simplicial types

(31:19)

Astra Kolomatskaia --- The Objective Metatheory of Simply Typed Lambda Calculus.

(1:43:22)

Astra Kolomatskaia --- Displayed Type Theory and Semi-Simplicial Types.

(1:24:16)

HoTTEST Summer School 2022: Agda Problem Session 4 (Astra)

(1:4)

Agda Problem Session 2: Basic MLTT Types (Astra) -- HoTTEST Summer School 2022

(1:37)

HoTTEST Summer School 2022: Agda Problem Session 5 (Astra)

(57:49)

Agda Problem Session 1: Introduction to Agda, types \u0026 functions (Astra) - HoTTEST Summer School 2022

(1:8:46)

Agda Problem Session 3: Identity types, Σ-types \u0026 universes (Astra) -- HoTTEST Summer School 2022

(1:8:34)

The purest coding style, where bugs are near impossible

(10:25)

Kyoto U. \

(1:42:18)

Topology through the Centuries: Low Dimensional Manifolds - John Milnor

(1:9:16)

Chaitanya Leena Subramaniam, Semantics of HoTT

(1:11:14)

Nikolai Kudasov, Rzk proof assistant and simplicial HoTT formalization

(1:9:38)

Computer Science and Homotopy Theory - Vladimir Voevodsky

(28:58)

Advanced Mathematics: Lecture 1

(3:30:19)

Back to Basics: Algebraic Data Types - Arthur O'Dwyer - CppCon 2020

(1:10:15)

HoTT-2019-04-16 Type theory

(1:39:53)

Eliminating Run-Time Errors with Agda - Computerphile

(18:37)

Agda Problem Session 8: Quotients and Higher Inductive Types (Astra) -- HoTTEST Summer School 2022

(1:14:26)

Agda Problem Session 7: Cubical Agda - an introduction (Astra) -- HoTTEST Summer School 2022

(1:6:2)

Agda Problem Session 6: The fundamental group of the circle (Astra) -- HoTTEST Summer School 2022

(56:4)

Agda Problem Session 9: Homogeneous comp. \u0026 cubical univalence (Astra) -- HoTTEST Summer School 2022

(1:9:29)

ODEs: Lecture 1

(3:6:17)

Evan Cavallo, Cubes with one connection and relative elegance

(33:53)

Calculus B: Lecture 1

(3:10:15)