Nuprl Definition : consensus-accum-state

consensus-accum-state(A;L) ==
  accumulate (with value s and list item e):
   consensus-accum(s;e)
  over list:
    L
  with starting value:
   <0, ⊗, mk_fpf(A;λb.<0, ff>)>)

Definitions occuring in Statement : consensus-accum: consensus-accum(s;e), mk_fpf: mk_fpf(L;f), fpf-empty: ⊗, list_accum: list_accum, bfalse: ff, lambda: λx.A[x], pair: <a, b>, natural_number: $n
FDL editor aliases : consensus-accum-state
consensus-accum-state(A;L) == accumulate (with value s and list item e): consensus-accum(s;e) over list: L with starting value: ɘ, \motimes{}, mk\_fpf(A;\mlambda{}b.ɘ, ff>)>) Date html generated: 2015_07_17-AM-11_44_41 Last ObjectModification: 2012_02_25-AM-11_47_41 Home Index