Lecture 4: Operational Semantics

Simple meta-interpreters as given in lecture