The Complexity of Beta-Reduction, an ISR 2017 Course

Please refer to the newer version of the course here.