CPSC 629: Deductive Systems
Instructor: Carsten Schürmann
Department of Computer Science
Yale University
Time: TTh 4:00-5:15
Room: AKW 500
|
|
Home |
|
|
Schedule |
|
|
Handouts |
|
|
Assignments |
|
|
Projects |
|
|
Links |
Lecture 22 : Compilation: CLS machine
In this lecure, we compile first-order deBruijn expression into a CLS machine. Computations are representated as transition traces. We also show the soundness of the compilation.
Suggested Reading Materials:
Frank Pfenning. Computation and Deduction, Chapter 6
Previous lecture: Lecture 21Next lecture: Lecture 23