Nuprl Definition : hdataflow-class
hdataflow-class(F) == λes,e. (snd(F loc(e)*(map(λx.info(x);before(e)))(info(e))))
Definitions occuring in Statement :
es-info: info(e),
es-before: before(e),
es-loc: loc(e),
map: map(f;as),
pi2: snd(t),
apply: f a,
lambda: λx.A[x],
iterate-hdataflow: P*(inputs),
hdf-ap: X(a)
FDL editor aliases :
hdataflow-class
Latex:
hdataflow-class(F) == \mlambda{}es,e. (snd(F loc(e)*(map(\mlambda{}x.info(x);before(e)))(info(e))))
Date html generated:
2015_07_21-PM-04_46_51
Last ObjectModification:
2013_01_25-PM-05_59_20
Home
Index