Nuprl Definition : data-stream
data-stream(P;L) == map(λi.(snd(P*(firstn(i;L))(L[i])));upto(||L||))
Definitions occuring in Statement :
iterate-dataflow: P*(inputs)
,
dataflow-ap: df(a)
,
upto: upto(n)
,
select: L[n]
,
firstn: firstn(n;as)
,
map: map(f;as)
,
length: ||as||
,
pi2: snd(t)
,
lambda: λx.A[x]
FDL editor aliases :
data-stream
Latex:
data-stream(P;L) == map(\mlambda{}i.(snd(P*(firstn(i;L))(L[i])));upto(||L||))
Date html generated:
2015_07_23-AM-11_05_54
Last ObjectModification:
2013_10_24-PM-10_55_58
Home
Index