Proofs on different evaluation strategies on pure lambda calculus, the theorem includes: diamond property, adequacy of reduction, and etc…
- Call By Value
- Call By Push Value
Also check out the writeup.
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Proofs on different evaluation strategies on pure lambda calculus, the theorem includes: diamond property, adequacy of reduction, and etc…
Also check out the writeup.