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