100 Most Popular Courses For September

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

Intro

1 of 9
Next

1 of 9

Intro

Class Central Classrooms beta

YouTube playlists 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.