Nuprl Definition : testrec1
testrec1(x;L) == fix((λtestrec1,x,L. if null(L) then x else testrec1 (x * x) tl(L) fi )) x L
Definitions occuring in Statement :
null: null(as),
tl: tl(l),
ifthenelse: if b then t else f fi ,
apply: f a,
fix: fix(F),
lambda: λx.A[x],
multiply: n * m
Definitions occuring in definition :
fix: fix(F),
lambda: λx.A[x],
ifthenelse: if b then t else f fi ,
null: null(as),
apply: f a,
multiply: n * m,
tl: tl(l)
FDL editor aliases :
testrec1
Latex:
testrec1(x;L) == fix((\mlambda{}testrec1,x,L. if null(L) then x else testrec1 (x * x) tl(L) fi )) x L
Date html generated:
2016_05_15-PM-07_45_04
Last ObjectModification:
2015_09_23-AM-08_18_06
Theory : general
Home
Index