Search in: Word
Vietnamese keyboard: Off
Virtual keyboard: Show
Computing (FOLDOC) dictionary
linear function
Jump to user comments
A 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