Completed
Higher-Order MSL
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Logic and Decidability in Programming Languages - Session Preview II
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 Everything is Logic
- 3 Logic, for PL Researchers
- 4 Problem: Undecidability
- 5 Logic Crash Course (in One Slide)
- 6 The Logic Landscape
- 7 Theories of Arithmetic
- 8 Linear Real Rings
- 9 Hom Clauses - "Monadic Shallow Linear" (MSL)
- 10 Higher-Order MSL
- 11 From Logic to State Machines
- 12 New Minimization Algorithms
- 13 Quick advertisement
