Typed Lambda-Calculus



Monday: Concepts and Syntax
Tuesday: Substitution and Equations
Wednesday: From Pure to Effectful
Thursday: Denotational Semantics of Call-By-Value
Answers to Monday's exercises, and further questions