Lecture 21: Compilation: de Bruijn Transformation

Guest Lecturer: Christopher League

In this lecure, we discuss how to encode Mini-ML expressions into the syntax of the CLS machine. In addition, we prove a few meta-theorems about the CLS machine and the translation.

Suggested Reading Materials:

Frank Pfenning. Computation and Deduction, Chapter 6