Nuprl Definition : mk-stream
mk-stream(f;x) == fix((λmk-stream,x. <x, let y ⟵ f x in mk-stream y>)) x
Definitions occuring in Statement :
callbyvalueall: callbyvalueall,
apply: f a,
fix: fix(F),
lambda: λx.A[x],
pair: <a, b>
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
pair: <a, b>,
callbyvalueall: callbyvalueall,
apply: f a
FDL editor aliases :
mk-stream
Latex:
mk-stream(f;x) == fix((\mlambda{}mk-stream,x. <x, let y \mleftarrow{}{} f x in mk-stream y>)) x
Date html generated:
2016_05_14-AM-06_23_00
Last ObjectModification:
2015_09_22-PM-05_47_56
Theory : co-recursion
Home
Index