Concept
Beta reduction beta redex reducible expression
Journey Statuslearning
The act of reducing a Beta-redex/Reducible expression by substituting the redex's argument into its function body.
The act of reducing a Beta-redex/Reducible expression by substituting the redex's argument into its function body.