Bisimulation as Path Type for Guarded Recursive Types
Why it's on BrighterTube
Advanced · Editorial review · 85% confidenceNew channel POPL 2019: title sample judged 'pick' (Mostly rigorous academic research talks presenting papers, which qualify as expert technical talks, but a handful of ite); passed a second screen for sellers/exam-prep/re-uploads; 1 of 3 sampled transcripts showed teaching, 0 not; titles picked one by one, checked strictly; oEmbed verified.
What you'll learn
A 22-minute video from POPL 2019: “Bisimulation as Path Type for Guarded Recursive Types”.
Video by POPL 2019, played through YouTube's embedded player.