Nuprl Definition : es-interface-accum

es-interface-accum(f;x;X) ==
  λes,e. if e ∈b X
        then {accumulate (with value b and list item e):
               f b X(e)
              over list:
                ≤(X)(e)
              with starting value:
               x)}
        else {}
        fi 


Definitions occuring in Statement :  es-interface-predecessors: ≤(X)(e),  eclass-val: X(e),  in-eclass: e ∈b X,  list_accum: list_accum,  ifthenelse: if b then t else f fi ,  apply: f a,  lambda: λx.A[x],  single-bag: {x},  empty-bag: {}
FDL editor aliases :  es-interface-accum
Latex:
es-interface-accum(f;x;X)  ==
    \mlambda{}es,e.  if  e  \mmember{}\msubb{}  X
                then  \{accumulate  (with  value  b  and  list  item  e):
                              f  b  X(e)
                            over  list:
                                \mleq{}(X)(e)
                            with  starting  value:
                              x)\}
                else  \{\}
                fi 


Date html generated: 2015_07_20-PM-03_45_52
Last ObjectModification: 2012_02_25-PM-01_54_27

Home Index