Nuprl Definition : polynomial-mon-vars

polynomial-mon-vars(init;p) ==
  accumulate (with value vss and list item m):
   let c,vs = m
   in insert(vs;vss)
  over list:
    p
  with starting value:
   init)

Definitions occuring in Statement : list-deq: list-deq(eq), insert: insert(a;L), list_accum: list_accum, int-deq: IntDeq, spread: spread def
Definitions occuring in definition : list_accum: list_accum, spread: spread def, insert: insert(a;L), list-deq: list-deq(eq), int-deq: IntDeq
FDL editor aliases : polynomial-mon-vars

Latex:
polynomial-mon-vars(init;p) == accumulate (with value vss and list item m): let c,vs = m in insert(vs;vss) over list: p with starting value: init) Date html generated: 2016_05_14-AM-07_09_54 Last ObjectModification: 2015_09_22-PM-05_53_03 Theory : omega Home Index