Nuprl Definition : iterate-fun-stream

iterate-fun-stream(f;x) ==  fix((λiterate-fun-stream,x. x.iterate-fun-stream (f x))) x


Definitions occuring in Statement :  s-cons: x.s,  apply: f a,  fix: fix(F),  lambda: λx.A[x]
Definitions occuring in definition :  fix: fix(F),  lambda: λx.A[x],  s-cons: x.s,  apply: f a
FDL editor aliases :  iterate-fun-stream
Latex:
iterate-fun-stream(f;x)  ==    fix((\mlambda{}iterate-fun-stream,x.  x.iterate-fun-stream  (f  x)))  x


Date html generated: 2016_05_14-AM-06_24_46
Last ObjectModification: 2015_09_22-PM-05_48_08

Theory : co-recursion


Home Index