Nuprl Definition : dep-accum
dep-accum(L,b.f[L; b];a,bb.g[a; bb];bs) ==
accumulate (with value L and list item b):
L @ let a = f[L; b] in [<a, b, g[a; b]>]
over list:
bs
with starting value:
[])
Definitions occuring in Statement :
append: as @ bs,
list_accum: list_accum,
cons: [a / b],
nil: [],
let: let,
pair: <a, b>
Definitions occuring in definition :
list_accum: list_accum,
append: as @ bs,
let: let,
cons: [a / b],
pair: <a, b>,
nil: []
FDL editor aliases :
dep-accum
Latex:
dep-accum(L,b.f[L; b];a,bb.g[a; bb];bs) ==
accumulate (with value L and list item b):
L @ let a = f[L; b] in [<a, b, g[a; b]>]
over list:
bs
with starting value:
[])
Date html generated:
2020_05_19-PM-09_51_30
Last ObjectModification:
2020_03_09-PM-00_46_28
Theory : list_1
Home
Index