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.