Esempio di lfp: il funzionale
fact = _x. if x=0 then 1 else x * fact (x-1)
la definizione ricorsiva va intesa come
- definizione di un operatore _fact (continuo) su F _(funzionale)
_fact = _f. _x. if x=0 then 1 else x * f (x-1)
- di cui la funzione definita fact è il minimo punto fisso
fact = lfp(_fact )
lfp(_fact ) può essere “calcolato”, in accordo con il teorema di Kleene