Beta Equivalence (Lambda Calculus)

lambda-calculus

Definition

Beta Equivalence (Lambda Calculus)

Two lambda abstractions $M,M^{\prime }$ are beta-equivalent, $M{=}_{\beta }{M}^{\prime }$ if $M$ can be transformed into $M^{\prime }$ by $n\ge 0$, possibly inverse, beta reductions.