Time and Space for the Ⲗ-calculus
Lectures:
1) The untyped lambda calculus. Notes and slides.
2) Reasonable time. Notes and slides.
3) Abstract machines. Notes and slides.
4) Multi Types. Slides.
5) Reasonable Space. Slides.