Thierry Coquand — Sheaf models of dependent type theory
27:43
Thierry Coquand — Sheaf models of dependent type theory
1 views2 weeks ago
YouTubeTypes and Topology Workshop
7 Foundations 7 Dependent Type Theory
2:37:00
7 Foundations 7 Dependent Type Theory
1 month ago
YouTubeStructured Infinity Topos & Cohesive Amplituhe…
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
Bas Spitters: Modal Dependent Type Theory and the Cubical Model
1:06:24
Bas Spitters: Modal Dependent Type Theory and the Cubical Model
279 viewsJun 25, 2018
YouTubeHausdorff Center for Mathematics
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
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…
Jan 9, 2025
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 views2 months ago
YouTubeACM SIGPLAN
2:03:16
Introduction to the metatheory of type theory
703 viewsAug 29, 2024
bilibili他方星云
A Graded Modal Dependent Type Theory with a Universe and Erasur…
Aug 31, 2023
acm.org
6:32
You must c C reate an account to continue watching
135K 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)
A Calculus of Inductive Linear Constructions | Proceedings of th…
Aug 31, 2023
acm.org
56:02
Steve Awodey: Type theories and polynomial monads​
1.9K viewsOct 6, 2017
YouTubeCentre International de Rencontres Mathématiq…
38:42
"Dependent Types in Haskell" by Stephanie Weirich
23.7K viewsOct 1, 2017
YouTubeStrange Loop Conference
25:47
[POPL'26] Abstraction Functions as Types
53 views1 month ago
YouTubeACM SIGPLAN
1:31:09
HoTT Lecture 1: Dependent types and dependent functions -- HoTTE…
37.4K viewsJul 4, 2022
YouTubeHoTTEST
1:05:58
Erik Palmgren: From type theory to setoids and back
299 viewsSep 7, 2018
YouTubeHausdorff Center for Mathematics
50:44
First Steps in Synthetic Tait Computability: The Objective Meta…
991 viewsSep 23, 2021
YouTubeJonathan Sterling
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
10 months ago
simplypsychology.org
43:46
EPIT Spring School on HoTT: Andrej Bauer Part 1 (Dependent Type The…
2.7K viewsApr 12, 2021
YouTubeEPIT Spring School on Homotopy Type Theory
38:36
"A Little Taste of Dependent Types" by David Christiansen
43.7K viewsOct 16, 2018
YouTubeStrange Loop Conference
52:19
2026.02.10, Seonghun Park (박성훈), Formalizing Flag Algebras in the L…
88 views2 weeks ago
YouTubeIBS Discrete Mathematics Group
37:27
A Little Taste of Dependent Types (David Thrane Christiansen)
2.3K viewsMay 22, 2018
YouTubeflatMap (Oslo)
Bounded Sort Polymorphism with Elimination Constraints | Proceedi…
2 weeks ago
acm.org
1:01:13
A Cost-Aware Logical Framefork | Canal U
Nov 10, 2023
canal-u.tv
2:14:49
Foundations 6: Simple Type Theory
7.9K viewsJan 26, 2021
YouTubeRichard Southwell
1:25:20
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
20.6K viewsAug 1, 2018
YouTubeOPLSS
A Metaprogramming Framework for Formal Verification
Jan 17, 2018
ox.ac.uk
See more videos
Static thumbnail place holder