Introduction to Type Theory
20:23
Introduction to Type Theory
7.9K views5 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.7K 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
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.5K 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
Homotopy Type Theory Discussed - Computerphile
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
1:04:53
[TopOx] Steve Awodey: Path Types in Algebraic Type Theory
1K views1 month ago
YouTubeTopos Institute
2:14
Homotopy Type Theory in 2 Minutes
944 viewsJun 24, 2025
YouTube2 Minute Educational
20:14
Category Theory for Programmers: Chapter 1 - Category
71.1K viewsJan 31, 2021
YouTubecode_report
2:48
Theory of Computation (TOC) - Course Announcement
6.1K views3 months ago
YouTubeNeso Academy
43:21
The Role of TCS in Understanding (AI) Consciousness
949 views1 month ago
YouTubeSimons Institute for the Theory of Computing
10:58
Map of Computer Science
6.7M viewsSep 6, 2017
YouTubeDomain of Science
10:02
Introduction To Computer System | Beginners Complete Introduction To Computer System
1.1M viewsAug 29, 2021
YouTubeLearn Computer Science
1:25:48
ICSE Class 10 Computer Theory One Shot🎯 | Full Syllabus Revision | Boards 2026 | Sanskriti Ma’am
2.7K views3 months ago
YouTubeICSE 8, 9 & 10 by Unacademy
50:15
Theory of Computation 01 | Introduction to TOC | Computer Science & IT | GATE Crash Course
38.6K views7 months ago
YouTubeUnacademy GATE CSIT & DA
16:49
COMPUTER SCIENCE explained in 17 Minutes
3.6M viewsMay 19, 2024
YouTubeWacky Science
See more
Static thumbnail place holder