Nuprl Definition : rec-dataflow-state

rec-dataflow-state(s0;s,m.next[s; m];L) ==
  accumulate (with value s and list item m):
   fst(next[s; m])
  over list:
    L
  with starting value:
   s0)

Definitions occuring in Statement : list_accum: list_accum, pi1: fst(t)
FDL editor aliases : rec-dataflow-state

Latex:
rec-dataflow-state(s0;s,m.next[s; m];L) == accumulate (with value s and list item m): fst(next[s; m]) over list: L with starting value: s0) Date html generated: 2015_07_23-AM-11_05_29 Last ObjectModification: 2013_10_24-PM-10_55_25 Home Index