[HoTT/UF 2021] Cohesive Internal Parametricity for Cubical Type Theory

New channel FSCD 2021: title sample judged 'whole' (These are recorded academic conference talks presenting rigorous technical research in logic, type theory, and computer ); passed a second screen for sellers/exam-prep/re-uploads; 3 of 3 sampled transcripts showed teaching, 0 not; every title checked strictly; oEmbed verified.