Definition
Beta Equivalence (Lambda Calculus)
Two lambda abstractions
are beta-equivalent, if can be transformed into by , possibly inverse, beta reductions.
Beta Equivalence (Lambda Calculus)
Two lambda abstractions
are beta-equivalent, if can be transformed into by , possibly inverse, beta reductions.