Nuprl Definition : ml-maprevappend
ml-maprevappend(f;as;bs) ==
fix((λrevappend,f,l,x. if null(l) then x else let a.b = l in revappend(f)(b)([f(a) / x]) fi ))(f)(as)(bs)
Definitions occuring in Statement :
spreadcons: spreadcons,
ml_apply: f(x),
null: null(as),
cons: [a / b],
ifthenelse: if b then t else f fi ,
fix: fix(F),
lambda: λx.A[x]
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
null: null(as),
spreadcons: spreadcons,
cons: [a / b],
ml_apply: f(x)
FDL editor aliases :
ml-maprevappend
Latex:
ml-maprevappend(f;as;bs) ==
fix((\mlambda{}revappend,f,l,x. if null(l) then x else let a.b = l in revappend(f)(b)([f(a) / x]) fi ))(f)(\000Cas)(bs)
Date html generated:
2017_09_29-PM-05_51_11
Last ObjectModification:
2017_05_19-PM-03_22_03
Theory : ML
Home
Index