Nuprl Definition : testrec1

testrec1(x;L) ==  fix((λtestrec1,x,L. if null(L) then else testrec1 (x x) tl(L) fi )) L



Definitions occuring in Statement :  null: null(as) tl: tl(l) ifthenelse: if then else fi  apply: a fix: fix(F) lambda: λx.A[x] multiply: m
Definitions occuring in definition :  fix: fix(F) lambda: λx.A[x] ifthenelse: if then else fi  null: null(as) apply: a multiply: 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