E5.A — Partial Univalence in n-truncated Type Theory

New channel Saarland Informatics Campus: title sample judged 'pick' (Mostly solid STACS conference research talks and lecture excerpts, but mixed with career-interview, award/prize, and cam); 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.

A 24-minute video from Saarland Informatics Campus: “E5.A — Partial Univalence in n-truncated Type Theory”.

Video by Saarland Informatics Campus, played through YouTube's embedded player.