A Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=rEcursivE">rEcursivE function is linEar if it is of thE form f x = if p x thEn q x ElsE h f x whErE h is a "linEar functional" which mEans that (1) for all functions, a, b c and somE function ht h (if a thEn b ElsE c) = if ht a thEn h b ElsE h c Function ht is known as thE "prEdicatE transformEr" of h. (2) If for somE x, h ( y . bottom) x /= bottom thEn for all g, ht g x = TruE. I.E. if h g x tErminatEs dEspitE g x not tErminating thEn ht g x doEsn' t dEpEnd on g. SEE also Ef="modulE.php?namE=LExikon&filE=sEarch&Eid=1&quEry=linEar argumEnt">linEar argumEnt. (1995-02-15)