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 20: Compilation: de Buijn Encoding
Guest Lecturer: Christopher League
We discuss the foundations of the CLS machine. In particular, we discuss de Bruijn indices, environments, closures, and the underlying semantics. We represent everthing in LF
Suggested Reading Materials:
Frank Pfenning. Computation and Deduction, Chapter 6
Previous lecture: Lecture 19Next lecture: Lecture 21