Crafting Semantics

Jan 21, 2021 -- Crafting Semantics 3: More Fundamentals
Jan 14, 2021 -- Crafting Semantics 2: Basic Features
Jan 06, 2021 -- Crafting Semantics 1: Lambda Calculus
Jan 05, 2021 -- Crafting Semantics 0: Introduction