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