Higher Order Abstract Syntax

Synopsis

This will be a new lecture!

Following the discussion of Church numerals, we can also implement any type of data structure, including programs, using lambda-calculus.