Introduction to Type Theory
20:23
Introduction to Type Theory
已浏览 7879 次5 个月之前
YouTubeAttic Philosophy
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
已浏览 4.3万 次11 个月之前
YouTubeAttic Philosophy
Type theory and the algebra of types
15:22
Type theory and the algebra of types
已浏览 1.5万 次2025年1月31日
YouTubeAll Angles
Propositions as Types - Computerphile
17:46
在视频中查找 00:51Was sind Typen?
Propositions as Types - Computerphile
已浏览 10.4万 次2017年9月27日
YouTubeComputerphile
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
1:25:20
在视频中查找 07:16Formal Type Theory
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
已浏览 2.2万 次2018年8月1日
YouTubeOPLSS
TypeTheory Exploration (Part 2 ): And, Function and Pi Types.
1:30:32
TypeTheory Exploration (Part 2 ): And, Function and Pi Types.
已浏览 4 次1 个月前
YouTubeA Truth Standard
Homotopy Type Theory Discussed - Computerphile
13:31
在视频中查找 00:23the theoretical foundations on which computer science is based,
Homotopy Type Theory Discussed - Computerphile
已浏览 7.2万 次2017年10月13日
YouTubeComputerphile
1:04:53
[TopOx] Steve Awodey: Path Types in Algebraic Type Theory
已浏览 1031 次1 个月前
YouTubeTopos Institute
2:14
Homotopy Type Theory in 2 Minutes
已浏览 944 次2025年6月24日
YouTube2 Minute Educational
20:14
Category Theory for Programmers: Chapter 1 - Category
已浏览 7.1万 次2021年1月31日
YouTubecode_report
2:48
Theory of Computation (TOC) - Course Announcement
已浏览 6070 次3 个月之前
YouTubeNeso Academy
43:21
The Role of TCS in Understanding (AI) Consciousness
已浏览 949 次1 个月前
YouTubeSimons Institute for the Theory of Computing
10:58
Map of Computer Science
已浏览 674万 次2017年9月6日
YouTubeDomain of Science
10:02
Introduction To Computer System | Beginners Complete Introduction To Computer System
已浏览 113万 次2021年8月29日
YouTubeLearn Computer Science
1:25:48
ICSE Class 10 Computer Theory One Shot🎯 | Full Syllabus Revision | Boards 2026 | Sanskriti Ma’am
已浏览 2736 次3 个月之前
YouTubeICSE 8, 9 & 10 by Unacademy
50:15
Theory of Computation 01 | Introduction to TOC | Computer Science & IT | GATE Crash Course
已浏览 3.9万 次7 个月之前
YouTubeUnacademy GATE CSIT & DA
16:49
COMPUTER SCIENCE explained in 17 Minutes
已浏览 363.2万 次2024年5月19日
YouTubeWacky Science
展开
静态缩略图占位符