Completed
[POPL'25] On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus
Automatically move to the next video in the Classroom when playback concludes