Nuprl Definition : rec-dataflow
rec-dataflow(s0;s,m.next[s; m]) == fix((λrec-dataflow,s0,m. let s',ext = next[s0; m] in <rec-dataflow s', ext>)) s0
Definitions occuring in Statement :
apply: f a,
fix: fix(F),
lambda: λx.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
rec-dataflow
Latex:
rec-dataflow(s0;s,m.next[s; m]) ==
fix((\mlambda{}rec-dataflow,s0,m. let s',ext = next[s0; m] in <rec-dataflow s', ext>)) s0
Date html generated:
2015_07_23-AM-11_05_24
Last ObjectModification:
2013_10_24-PM-10_55_18
Home
Index