Nuprl Definition : iterate-process
P*(inputs) == accumulate (with value p and list item input): fst((p input))over list: inputswith starting value: P)
Definitions occuring in Statement :
list_accum: list_accum,
pi1: fst(t),
apply: f a
FDL editor aliases :
iterate-process
P*(inputs) ==
accumulate (with value p and list item input):
fst((p input))
over list:
inputs
with starting value:
P)
Date html generated:
2015_07_17-AM-11_20_11
Last ObjectModification:
2012_11_06-PM-06_35_56
Home
Index