Nuprl Definition : iterate-hdataflow

P*(inputs) ==  accumulate (with value p and list item input): fst(p(input))over list:  inputswith starting value: P)


Definitions occuring in Statement :  hdf-ap: X(a),  list_accum: list_accum,  pi1: fst(t)
FDL editor aliases :  iterate-hdataflow
Latex:
P*(inputs)  ==
    accumulate  (with  value  p  and  list  item  input):
      fst(p(input))
    over  list:
        inputs
    with  starting  value:
      P)


Date html generated: 2016_05_16-AM-10_38_25
Last ObjectModification: 2012_11_23-PM-02_09_18

Theory : halting!dataflow


Home Index