Nuprl Definition : testrec3
testrec3(x;f;L) == letrec g(p)=let x,L = p in if null(L) then x else g <x * x, map(f;tl(L))> fi in g <x, L>
Definitions occuring in Statement :
null: null(as),
map: map(f;as),
tl: tl(l),
natrec: natrec,
ifthenelse: if b then t else f fi ,
apply: f a,
spread: spread def,
pair: <a, b>,
multiply: n * m
Definitions occuring in definition :
natrec: natrec,
spread: spread def,
ifthenelse: if b then t else f fi ,
null: null(as),
apply: f a,
multiply: n * m,
map: map(f;as),
tl: tl(l),
pair: <a, b>
FDL editor aliases :
testrec3
Latex:
testrec3(x;f;L) ==
letrec g(p)=let x,L = p in if null(L) then x else g <x * x, map(f;tl(L))> fi in g <x, L>
Date html generated:
2016_05_15-PM-07_45_48
Last ObjectModification:
2015_09_23-AM-08_18_33
Theory : general
Home
Index