A relationally parametric model of dependent type theory | ACM SIGPLAN Notices
A relationally parametric model of dependent type theory | ACM SIG…
Jan 8, 2014
acm.org
The Type Theory of Lean
1:03:19
The Type Theory of Lean
1.7K viewsApr 22, 2019
YouTubeMario Carneiro
Foundations 7: Dependent Type Theory
2:37:00
Foundations 7: Dependent Type Theory
9.5K viewsFeb 8, 2021
YouTubeRichard Southwell
Implementing a modal dependent type theory | Proceedings of the ACM on Programming Languages
Implementing a modal dependent type theory | Proceedings of the A…
Jul 26, 2019
acm.org
Linear Independence
12:56
Linear Independence
892K viewsApr 16, 2019
YouTubeProfessor Dave Explains
A Dependent Type Theory for Meta-programming with Intensional Analysis | Proceedings of the ACM on Programming Languages
A Dependent Type Theory for Meta-programming with Intensional Ana…
7 months ago
acm.org
[ICFP'25] [JFP] A practical formalization of monadic equational reasoning in dependent-type theory
24:21
[ICFP'25] [JFP] A practical formalization of monadic equation…
20 views3 months ago
YouTubeACM SIGPLAN
2:03:16
Introduction to the metatheory of type theory
703 viewsAug 29, 2024
bilibili他方星云
6:32
Variables in Research | Definition, Types & Examples
122K viewsSep 13, 2013
Study.comDevin Kowalczyk
1:00:10
The meta-theory of dependent type theories - Vladimir Voevodsky
5.9K viewsFeb 27, 2017
YouTubeInstitute for Advanced Study
51:03
David McAllester - Dependent Type Theory from the Perspective of Ma…
2.4K viewsMay 14, 2022
YouTubeInstitut des Hautes Etudes Scientifiques (IHES)
53:06
Introductory Lectures on Type Theory (1 : Functions)
10.2K viewsMay 3, 2021
YouTubeThorsten Altenkirch
1:01:15
Jeremy Avigad: "Formal mathematics, dependent type theo…
3.2K viewsNov 4, 2021
YouTubeTopos Institute
15:22
Type theory and the algebra of types
14K viewsJan 31, 2025
YouTubeAll Angles
33:18
TDPT: Lecture 01_An introduction to Time dependent perturbation theo…
13.4K viewsOct 25, 2021
YouTubemd ashefas
3:10
#5 Homotopy Type Theory Explained: Products
1K views6 months ago
YouTubeHoTT Math
3:18
#1 Homotopy Type Theory Explained: A New Foundation for …
7.7K views6 months ago
YouTubeHoTT Math
1:31:09
HoTT Lecture 1: Dependent types and dependent functions -- HoTTE…
37.5K viewsJul 4, 2022
YouTubeHoTTEST
2:27:51
Foundations 8: Formal Type Theory and Homotopy Type Theory and Id…
6.1K viewsFeb 22, 2021
YouTubeRichard Southwell
Context and State-Dependent Memory: Definition & Examples
11 months ago
simplypsychology.org
43:46
EPIT Spring School on HoTT: Andrej Bauer Part 1 (Dependent Type The…
2.8K viewsApr 12, 2021
YouTubeEPIT Spring School on Homotopy Type Theory
29:03
Introduction to Cubical Type Theory (Part I)
5.6K viewsMar 25, 2020
YouTubeFavonia
38:36
"A Little Taste of Dependent Types" by David Christiansen
44.8K viewsOct 16, 2018
YouTubeStrange Loop Conference
2:35
#8 Homotopy Type Theory Explained: Existential Quantifiers
1.5K views5 months ago
YouTubeHoTT Math
2:14
Homotopy Type Theory in 2 Minutes
828 views9 months ago
YouTube2 Minute Expert
2:14:49
Foundations 6: Simple Type Theory
8.5K viewsJan 26, 2021
YouTubeRichard Southwell
1:00:35
3 01 A Functional Programmer's Guide to Homotopy Type Theory
26.6K viewsOct 4, 2016
YouTubeICFP Video
1:00:03
Loïc Pujet, Observational Type Theory meets CIC
945 viewsFeb 23, 2023
YouTubeHoTTEST
41:00
Constructive Type Theory and Homotopy - Steve Awodey
8.3K viewsAug 30, 2016
YouTubeInstitute for Advanced Study
1:25:20
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
21K viewsAug 1, 2018
YouTubeOPLSS
See more videos
Static thumbnail place holder