Type Theory Foundations 3.0 — Robert Harper
Why it's on BrighterTube
Editorial review · 85% confidenceRound-10 hunt: picked; channel-level screens (sellers/exam/re-upload/devotional/vendor/events) and provenance check passed; strict per-title check + final strict pass; oEmbed verified.
What you'll learn
A 37-minute video from Mathématiques et programmation: “Type Theory Foundations 3.0 — Robert Harper”.
Video by Mathématiques et programmation, played through YouTube's embedded player.