| Hand-Written Assignment 3 (HW3) |
|
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;
how to represent datatypes in the lambda calculus; proofs in
Floyd-Hoare Logic.
|
|
|