You must c C reate an account to continue watching
6:32
You must c C reate an account to continue watching
135K viewsSep 13, 2013
Study.comDevin Kowalczyk
[POPL'26] Encode the Cake and Eat It Too: Controlling Computation in Type Theory, Locally
26:59
[POPL'26] Encode the Cake and Eat It Too: Controlling Computation i…
3 weeks ago
YouTubeACM SIGPLAN
[WITS'26] Verifying Dependent Type-checkers
1:03:28
[WITS'26] Verifying Dependent Type-checkers
3 weeks ago
YouTubeACM SIGPLAN
7 Foundations 7 Dependent Type Theory
2:37:00
7 Foundations 7 Dependent Type Theory
1 month ago
YouTubeStructured Infinity Topos & Cohesive Amplituhe…
Dr. Leonardo de Moura | Metaprogramming with Dependent Type Theory
1:07:20
Dr. Leonardo de Moura | Metaprogramming with Dependen…
1 views2 months ago
YouTubeINI Seminar Room 1
[CPP'26] Mechanizing Synthetic Tait Computability in Istari
21:58
[CPP'26] Mechanizing Synthetic Tait Computability in Istari
3 weeks ago
YouTubeACM SIGPLAN
[POPL'26] AdapTT: Functoriality for Dependent Type Casts
25:08
[POPL'26] AdapTT: Functoriality for Dependent Type Casts
14 views3 weeks ago
YouTubeACM SIGPLAN
25:51
[POPL'26] Algorithmic Conversion with Surjective Pairing: A Syntacti…
3 weeks ago
YouTubeACM SIGPLAN
52:35
Rust and the price of ignoring theory
8.5K views2 months ago
YouTubeJames Faure
52:19
2026.02.10, Seonghun Park (박성훈), Formalizing Flag Algebras in the L…
45 views1 week ago
YouTubeIBS Discrete Mathematics Group
25:47
[POPL'26] Abstraction Functions as Types
53 views3 weeks ago
YouTubeACM SIGPLAN
55:33
Prof. Thierry Coquand | Univalent type theory and modular formalisa…
3 views2 months ago
YouTubeINI Seminar Room 2
1:31:08
HoTT Lecture 1: Dependent types and dependent functions -- HoTTE…
37.4K viewsJul 4, 2022
YouTubeHoTTEST
12:40
Lambda Calculus - Computerphile
1.1M viewsJan 27, 2017
YouTubeComputerphile
12:09
Population Ecology
903.3K viewsOct 1, 2015
YouTubeBozeman Science
20:16
Photosynthesis: Light Reactions 1
1.5M viewsFeb 2, 2010
YouTubeKhan Academy
4:42
Situational Theory of Leadership
68.1K viewsJan 30, 2018
YouTubeGreggU
3:50
Excel Create Dependent Drop Down List Tutorial
1.4M viewsJun 17, 2017
YouTubeTEKNISHA
53:00
Foundations 2: Category Theory
11.5K viewsDec 7, 2020
YouTubeRichard Southwell
10:11
Probability - Independent and Dependent Events
853.1K viewsMar 27, 2019
YouTubeThe Organic Chemistry Tutor
8:04
Superposition Theorem with Dependent Sources
426.5K viewsFeb 26, 2020
YouTubeNeso Academy
7:15
Perturbation Theory in Quantum Mechanics - Cheat Sheet
175.9K viewsAug 12, 2018
YouTubePretty Much Physics
29:48
01 - AC Source Transformations (Learn AC Circuit Analysis)
272.3K viewsFeb 4, 2016
YouTubeMath and Science
17:46
Photosynthesis - Light Dependent Reactions and the Calvin Cycle
1.3M viewsOct 13, 2019
YouTubeThe Organic Chemistry Tutor
16:35
Particle in a Box Part 1: Solving the Schrödinger Equation
430.3K viewsSep 11, 2020
YouTubeProfessor Dave Explains
4:02
Mutually Exclusive vs. Independent Events EXPLAINED in 4 minutes
475.2K viewsFeb 4, 2021
YouTubeAce Tutors
20:29
Presentation Example: Avoidant Personality Disorder | Attachment …
298.9K viewsAug 26, 2019
YouTubeDr. Todd Grande
5:50
B cell Activation and Differentiation ( PART 2) : T Dependent Activatio…
173.5K viewsNov 16, 2017
YouTubeFrank Lectures
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingh…
28.2K viewsApr 2, 2017
YouTubeFOMUS 2016
6:58
Different Types of Heat Exchangers | Skill-Lync Explained
20.5K viewsDec 10, 2020
YouTubeSkill Lync
See more videos
Static thumbnail place holder