Processing math: 100%
Close
Close Window

F17 OpenDSA entire modules

Chapter 22 Lambda Calculus

Show Source |    | About   «  22.5. The Substitution-Based Model of Evaluation   ::   Contents   ::   22.7. Reduction Strategies  »

22.6. Beta-Reduction

22.6.1. Section Text

Section text is forthcoming.

22.6.2. RP 16 Part 1

This randomized problem will help you identify β-redexes. To earn credit for it, you will have to solve it correctly three times in a row.

22.6.3. RP 16 Part 2

This randomized problem will help you identify β-redexes and prepare to reduce them by determining whether an α-conversion is needed. To earn credit for it, you will have to solve it correctly three times in a row.

22.6.4. RP 16 Part 3

This randomized problem will make you practice performing β-reductions. To earn credit for it, you will have to solve it correctly three times in a row.

   «  22.5. The Substitution-Based Model of Evaluation   ::   Contents   ::   22.7. Reduction Strategies  »

nsf
Close Window