Introduction to Type Theory
20:23
Introduction to Type Theory
7.7K views4 months ago
YouTubeAttic Philosophy
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
43.2K views11 months ago
YouTubeAttic Philosophy
Type theory and the algebra of types
15:22
Type theory and the algebra of types
14.8K viewsJan 31, 2025
YouTubeAll Angles
Propositions as Types - Computerphile
17:46
Find in video from 00:51Was sind Typen?
Propositions as Types - Computerphile
104.2K viewsSep 27, 2017
YouTubeComputerphile
Type Theory Foundations 1.0 — Robert Harper
37:14
Find in video from 05:35Proof Theory
Type Theory Foundations 1.0 — Robert Harper
22.1K viewsJan 2, 2014
YouTubeMathématiques et programmation
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
1:25:20
Find in video from 07:16Formal Type Theory
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
21.1K viewsAug 1, 2018
YouTubeOPLSS
TypeTheory Exploration (Part 2 ): And, Function and Pi Types.
1:30:32
TypeTheory Exploration (Part 2 ): And, Function and Pi Types.
4 views1 month ago
YouTubeA Truth Standard
13:31
Find in video from 00:23the theoretical foundations on which computer science is based,
Homotopy Type Theory Discussed - Computerphile
72.1K viewsOct 13, 2017
YouTubeComputerphile
2:27:51
Foundations 8: Formal Type Theory and Homotopy Type Theory and Idris
6.3K viewsFeb 22, 2021
YouTubeRichard Southwell
10:08
Find in video from 01:42Type Theory
Why should you learn Type Theory?
74.8K viewsAug 16, 2021
YouTubeDapper Mink
19:39
Find in video from 03:12Static Time, Source Text, Runtime, Transformed AST, Type Checked AST
Building a Typechecker from scratch [1/20] Introduction to Typ…
14.5K viewsMay 12, 2022
YouTubeDmitry Soshnikov
1:04:53
[TopOx] Steve Awodey: Path Types in Algebraic Type Theory
940 views3 weeks ago
YouTubeTopos Institute
2:14
Homotopy Type Theory in 2 Minutes
824 views11 months ago
YouTube2 Minute Expert
2:33:38
Famous Computer Science Algorithms - Full Course
20.2K views2 months ago
YouTubeTech With Tim
11:38:43
Theory of Computation and Automata Theory ( Full Course )
54.8K viewsFeb 27, 2022
YouTubeNerd's lesson
4:17:09
11th Computer Science Unit-03(Programming Fundamentals) Live Class | Federal Board
2.6K views2 weeks ago
YouTubeSoch Badlo By MAK
2:27
Type theory in 2 minutes
4K views10 months ago
YouTubeAttic Philosophy
16:49
COMPUTER SCIENCE explained in 17 Minutes
3.6M viewsMay 19, 2024
YouTubeWacky Science
50:15
Theory of Computation 01 | Introduction to TOC | Computer Science & IT | GATE Crash Course
38.8K views7 months ago
YouTubeUnacademy GATE CSIT & DA
2:16:58
Theory of Computation 02 | Basics of TOC Part 01 | Computer Science & IT | GATE Crash Course
24.6K views7 months ago
YouTubeUnacademy GATE CSIT & DA
16:43
Find in video from 02:15Graph Theory in Mathematics
Data structures: Introduction to graphs
1M viewsSep 2, 2014
YouTubemycodeschool
2:48
Theory of Computation (TOC) - Course Announcement
3.4K views2 months ago
YouTubeNeso Academy
1:25:48
ICSE Class 10 Computer Theory One Shot🎯 | Full Syllabus Revision | Boards 2026 | Sanskriti Ma’am
2.7K views2 months ago
YouTubeICSE 8, 9 & 10 by Unacademy
10:58
Map of Computer Science
6.7M viewsSep 6, 2017
YouTubeDomain of Science
3:26
Why study theory of computation?
165.9K viewsApr 22, 2020
YouTubelydia
15:49
Types of graphs in discrete mathematics | Regular | Cyclic | Complete | Bipartite|Complete Bipartite
81.1K viewsOct 3, 2024
YouTubeSudhakar Atchala
20:52
Introduction to Automata Theory & Formal Languages | Theory of Computation in English | ATFL | TOC
15.4K viewsApr 19, 2023
YouTubeTopGATE
37:10
Validation & Verification Explained! | O Level & IGCSE Computer Science | P2 | Lecture 20
95 views5 months ago
YouTubeCS with Fahad Khan
8:25
The Formal System of Type Theory
6 months ago
YouTubeStaiblocks
See more
Static thumbnail place holder