Completed
Intro
Class Central Classrooms beta
YouTube videos curated by Class Central.
Classroom Contents
Seventy Years Using Fixed Points in Computer Science and Logic
Automatically move to the next video in the Classroom when playback concludes
- 1 Intro
- 2 My First Research Experience
- 3 Knaster-Tarski Fixed Point Theorem
- 4 Tarski's Generalized Lattice-Theoretric Fixed-Point Theorem
- 5 The Easy Fixed-Point Theorem
- 6 Enumeration Operators
- 7 How to do Recursion in our Model?
- 8 The Category of Closure Operators
- 9 Products of Closures
- 10 A Universal Closure Operator
- 11 Using Fixed Points of Closures
- 12 Are There More General Types?
- 13 The Category of Types
- 14 Polymorphic Types
- 15 Some Conclusions
