CSEP505: Programming Languages Lecture 4: Untyped lambda-calculus, inference rules, environments, … Dan Grossman Spring 2006.
CSEP505: Programming Languages Lecture 3: semantics via translation, equivalence & properties, lambda introduction Dan Grossman Spring 2006.
Atomicity for Today's Programming Languages Dan Grossman University of Washington 24 March 2005.