* Reduction Strategies and Normal Forms (will try to post soon)
* [[Unit and its usefulness|topics/week3 unit]]
* [[Combinatory Logic|topics/week3 combinatory logic]]
* Reduction Strategies and Normal Forms (will try to post soon)
* [[Unit and its usefulness|topics/week3 unit]]
* [[Combinatory Logic|topics/week3 combinatory logic]]