Clemens Kupke: "Games for topological fixpoint logics"

New channel OxfordQuantumVideo: title sample judged 'whole' (Nearly all uploads are substantive academic research talks and tutorials from quantum computing/category theory seminars); passed a second screen for sellers/exam-prep/re-uploads; 2 of 3 sampled transcripts showed teaching, 1 not; titles picked one by one, checked strictly; oEmbed verified.