[LSFA 2021] GADTs, Functoriality, Parametricity: Pick Two

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.

A 28-minute video from FSCD 2021: “[LSFA 2021] GADTs, Functoriality, Parametricity: Pick Two”.

Video by FSCD 2021, played through YouTube's embedded player.