Hand-Written Assignment 11 (HW) |
The purpose of this HW is to test your understanding of:
- Alpha and beta conversion in the lambda calculus
- The consequences of different evaluation schemes
- experience answering non-programming written questions similar to those on the final
|
|
|