Nuprl Definition : derived-seq
derived-seq(f;s) == let k,g = s in λn.<k, λi.(f (n + (g i)))>
Definitions occuring in Statement :
apply: f a,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>,
add: n + m
Definitions occuring in definition :
spread: spread def,
pair: <a, b>,
lambda: λx.A[x],
add: n + m,
apply: f a
FDL editor aliases :
derived-seq
Latex:
derived-seq(f;s) == let k,g = s in \mlambda{}n.<k, \mlambda{}i.(f (n + (g i)))>
Date html generated:
2016_05_15-PM-04_44_15
Last ObjectModification:
2015_09_23-AM-07_50_09
Theory : general
Home
Index