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.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.