lambda-calculus-reductions

Alpha conversionBeta reductionDelta reductionEta conversionEta conversionLambda calculus: η-conversion
PreviousFixity of lambda-termsNextAlpha conversion

Was this helpful?