Nuprl Definition : quick-find

quick-find(p;n)==r if then else eval n' in quick-find(p;n') fi 

quick-find(p;n) ==  fix((λquick-find,n. if then else eval n' in quick-find n' fi )) n



Definitions occuring in Statement :  callbyvalue: callbyvalue ifthenelse: if then else fi  apply: a fix: fix(F) lambda: λx.A[x] multiply: m natural_number: $n
Definitions occuring in definition :  fix: fix(F) lambda: λx.A[x] ifthenelse: if then else fi  callbyvalue: callbyvalue multiply: m natural_number: $n apply: a
FDL editor aliases :  quick-find
Latex:
quick-find(p;n)==r  if  p  n  then  n  else  eval  n'  =  2  *  n  in  quick-find(p;n')  fi 


Latex:
quick-find(p;n)  ==    fix((\mlambda{}quick-find,n.  if  p  n  then  n  else  eval  n'  =  2  *  n  in  quick-find  n'  fi  ))  n



Date html generated: 2016_05_15-PM-03_33_12
Last ObjectModification: 2015_09_23-AM-07_44_09

Theory : general


Home Index