irreducible lambda expression

irreducible lambda expression

[‚ir·ə′dü·sə·bəl ′lam·də ik‚spresh·ən] (mathematics) A lambda expression that cannot be converted to a reduced form by a sequence of applications of the renaming and reduction rules.