[[Week1]] (13 Sept) Applications; Basics of Lambda Calculus; Comparing Different Languages
-Week2 (20 Sept) Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
+[[Week2]] (20 Sept) Reduction and Convertibility; Combinators; Evaluation Strategies and Normalization; Decidability; Lists and Numbers
Week3 (27 Sept) Recursion with Fixed Point Combinators