Notation

Crash Course on Notation in Programming Language Theory

Jeremy Siek's crash course on the mathematical notation used in programming language theory — inference rules, judgments, big-step and small-step semantics. Essential reading before tackling any PL paper.