Nuprl Definition : fibs
fibs() == fix((λfibs.1.1.stream-zip(λx,y. (x + y);fibs;s-tl(fibs))))
Definitions occuring in Statement :
stream-zip: stream-zip(f;as;bs),
s-cons: x.s,
s-tl: s-tl(s),
fix: fix(F),
lambda: λx.A[x],
add: n + m,
natural_number: $n
Definitions occuring in definition :
fix: fix(F),
s-cons: x.s,
natural_number: $n,
stream-zip: stream-zip(f;as;bs),
lambda: λx.A[x],
add: n + m,
s-tl: s-tl(s)
FDL editor aliases :
fibs
Latex:
fibs() == fix((\mlambda{}fibs.1.1.stream-zip(\mlambda{}x,y. (x + y);fibs;s-tl(fibs))))
Date html generated:
2016_05_14-PM-09_27_55
Last ObjectModification:
2015_09_22-PM-06_03_07
Theory : num_thy_1
Home
Index