Type Theory Definition, History & Criticism
7:20
Type Theory Definition, History & Criticism
已浏览 9200 次2019年8月15日
Study.com
Context and State-Dependent Memory: Definition & Examples
Context and State-Dependent Memory: Definition & Examples
10 个月之前
simplypsychology.org
You must c C reate an account to continue watching
6:32
You must c C reate an account to continue watching
已浏览 13.5万 次2013年9月13日
Study.comDevin Kowalczyk
Dependency Theory in Sociology | Definition, Problems & Examples
6:41
Dependency Theory in Sociology | Definition, Problems & Examples
已浏览 3.4万 次2016年3月5日
Study.comDuane Cloud
David McAllester - Dependent Type Theory from the Perspective of Mathematics, Ph
51:03
David McAllester - Dependent Type Theory from the Perspective of Ma…
已浏览 15 次2 周前
bilibili热爱数学的小渣渣
[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…
2 周前
YouTubeACM SIGPLAN
[WITS'26] Verifying Dependent Type-checkers
1:03:28
[WITS'26] Verifying Dependent Type-checkers
2 周前
YouTubeACM SIGPLAN
2:37:00
7 Foundations 7 Dependent Type Theory
1 个月前
YouTubeStructured Infinity Topos & Cohesive Amplituhe…
1:07:20
Dr. Leonardo de Moura | Metaprogramming with Dependen…
已浏览 1 次2 个月之前
YouTubeINI Seminar Room 1
25:08
[POPL'26] AdapTT: Functoriality for Dependent Type Casts
已浏览 14 次2 周前
YouTubeACM SIGPLAN
25:51
[POPL'26] Algorithmic Conversion with Surjective Pairing: A Syntacti…
2 周前
YouTubeACM SIGPLAN
52:35
Rust and the price of ignoring theory
已浏览 8450 次2 个月之前
YouTubeJames Faure
2:30
Math Secrets: Grothendieck, Truth, and Temperature Maps! #shorts
已浏览 760 次1 个月前
YouTubeType Theory Forall
52:19
2026.02.10, Seonghun Park (박성훈), Formalizing Flag Algebras in the L…
已浏览 45 次5 天之前
YouTubeIBS Discrete Mathematics Group
25:47
[POPL'26] Abstraction Functions as Types
已浏览 53 次2 周前
YouTubeACM SIGPLAN
2:02:10
Emmanuel Ullmo - 3-4 La conjecture d’André-Oort
已浏览 19 次2 周前
bilibili热爱数学的小渣渣
5:03
Excess sugar consumption is not the only cause of DIABETES!🔬 Diab…
已浏览 6459 次1 周前
TikToknurseaimehealthta
What is the Dependent-Samples T-Test?
已浏览 3782 次2019年7月9日
YouTubeDaniel Storage
1:31:08
HoTT Lecture 1: Dependent types and dependent functions -- HoTTE…
已浏览 3.7万 次2022年7月4日
YouTubeHoTTEST
36:33
Theories of Development Dependency Theory
已浏览 2.7万 次2018年2月23日
YouTubeThe Sociology Guy
8:39
Dependency Theory
已浏览 71.8万 次2012年2月27日
YouTubeallensens
12:56
Linear Independence
已浏览 86.9万 次2019年4月16日
YouTubeProfessor Dave Explains
4:32
Introduction to Attachment Theory
已浏览 3.9万 次2021年8月23日
YouTubeDemystifying Medicine McMaster
4:40
Dependency Theory 101
已浏览 8万 次2017年4月14日
YouTubeSubrainability
6:46
What is Codependency?
已浏览 13.2万 次2018年7月5日
YouTubeDr. Todd Grande
11:54
Dependent and Independent Sources
已浏览 26万 次2018年6月21日
YouTubeNeso Academy
9:38
Development lecture #4 Dependency Theories
已浏览 4.1万 次2013年2月25日
YouTubeJen West
3:50
Excel Create Dependent Drop Down List Tutorial
已浏览 141.3万 次2017年6月17日
YouTubeTEKNISHA
6:23
8 Signs You May Be Codependent
已浏览 54.4万 次2020年8月2日
YouTubePsych2Go
53:00
Foundations 2: Category Theory
已浏览 1.2万 次2020年12月7日
YouTubeRichard Southwell
观看更多视频
静态缩略图占位符