TT
Type Theory
Indexing
Sifting through hundreds of thousands of hours of indexed videos
Type Theory
Sifting through hundreds of thousands of hours of indexed videos
Type Theory
Arcmira media summary
Explore podcasts, interviews & explainers on Type Theory — 1 indexed from Ryan Peterman, updated Jul 2025.
Andrew Kennedy. He's literally written foundational papers on type theory.
Arcmira tracks 1 indexed media appearances or mentions for Type Theory, tied to source videos, channels, and transcript-derived context.
Arcmira uses indexed YouTube videos and transcripts. Representative source evidence on this page includes "Tech Lead for Meta's Most-Used Programming Language (Promotion Story)" with transcript-derived context and links when available.
Type Theory is connected to Apple, Amazon, Microsoft in Arcmira's media graph.
1
Mentions
40.4K
Views
The trendline is visible, but the dated evidence behind Type Theory is in the premium layer.
“Andrew Kennedy. He's literally written foundational papers on type theory.”