• Jan 14, 2021 -- Crafting Semantics 2: Basic Features
• Jan 06, 2021 -- Crafting Semantics 1: Lambda Calculus
• Jan 05, 2021 -- Crafting Semantics 0: Introduction