Coursera Cuts Jobs Despite $100M Revenue Milestone

Graham Leigh: On the Computational Content of Classical Sequent Calculus

Graham Leigh: On the Computational Content of Classical Sequent Calculus

Hausdorff Center for Mathematics via YouTube Direct link

Production rules II

9 of 9
Previous

9 of 9

Production rules II

Class Central Classrooms beta

YouTube videos curated by Class Central.

Classroom Contents

Graham Leigh: On the Computational Content of Classical Sequent Calculus

Automatically move to the next video in the Classroom when playback concludes
  1. 1 Intro
  2. 2 Herbrand's theorem
  3. 3 Higher-order recursion schemes
  4. 4 Terms and types
  5. 5 The non-terminals
  6. 6 and their types
  7. 7 Production rules 1
  8. 8 Main result
  9. 9 Production rules II

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.