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 |
Handouts
Many of the examples presented in this course are described in Frank Pfenning's Computation and Deduction course notes from a class held at Carnegie Mellon University a few years back. A brief description of the idea behind higher-order abstract syntax can be found in the handout for Lecture 5.