* Reduction Strategies and Normal Forms
-* Combinatorial Logic
+* [[Combinatory Logic|topics/week3 combinatorial logic]]
## Topics by week ##
* More on Lists
Introduces list comprehensions, discusses how to get the `tail` of lists in the Lambda Calculus
-* Combinatorial Logic
+* [[Combinatorial Logic|topics/week3 combinatory logic]]
* Reduction Strategies and Normal Forms
* Homework for week 3