Nuprl Definition : stream-zip
stream-zip(f;as;bs) == fix((λstream-zip,as,bs. let a,as' = as in let b,bs' = bs in <f a b, stream-zip as' bs'>)) as bs
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-zip
Latex:
stream-zip(f;as;bs) ==
fix((\mlambda{}stream-zip,as,bs. let a,as' = as in let b,bs' = bs in <f a b, stream-zip as' bs'>)) as bs
Date html generated:
2016_05_14-AM-06_23_19
Last ObjectModification:
2015_09_22-PM-05_48_02
Theory : co-recursion
Home
Index