International School on Rewriting 2018 - Slides of the course 'The Complexity of Beta Reduction'

The slides of the course are here: firstsecond, and third class.

The course is based on two divulgative papers:

The Complexity of Abstract Machines (ignore section 9, or, if you are interested, rather read the paper below, that improves it).

Further information about abstract machines can be found in the following paper with Bruno Barras: