Nuprl Definition : bound-terms-accum

bound-terms-accum(L,bt.f[L; bt];param,bndtrm.g[param; bndtrm];bts) ==  dep-accum(L,bt.f[L; bt];a,bt.g[a; bt];bts)


Definitions occuring in Statement :  dep-accum: dep-accum(L,b.f[L; b];a,bb.g[a; bb];bs)
Definitions occuring in definition :  dep-accum: dep-accum(L,b.f[L; b];a,bb.g[a; bb];bs)
FDL editor aliases :  bound-terms-accum
Latex:
bound-terms-accum(L,bt.f[L;  bt];param,bndtrm.g[param;  bndtrm];bts)  ==
    dep-accum(L,bt.f[L;  bt];a,bt.g[a;  bt];bts)


Date html generated: 2020_05_19-PM-09_54_41
Last ObjectModification: 2020_03_09-PM-05_00_39

Theory : terms


Home Index