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 2: Mini-ML's Operational Semantics
We discuss how Mini-ML's operational semantics can be inductively defined, we characterize what values are, and we prove the first meta-theorem about deductive systems. The evaluation of any Mini-ML program results in a value.
Suggested Reading Materials:
Frank Pfenning. Computation and Deduction, Chapter 2.3 - Chapter 2.6
Previous lecture: Lecture 1
Next lecture: Lecture 3