Nuprl Definition : quick-find
quick-find(p;n)==r if p n then n else eval n' = 2 * n in quick-find(p;n') fi 
quick-find(p;n) ==  fix((λquick-find,n. if p n then n else eval n' = 2 * n in quick-find n' fi )) n
Definitions occuring in Statement : 
callbyvalue: callbyvalue, 
ifthenelse: if b then t else f fi 
, 
apply: f a
, 
fix: fix(F)
, 
lambda: λx.A[x]
, 
multiply: n * m
, 
natural_number: $n
Definitions occuring in definition : 
fix: fix(F)
, 
lambda: λx.A[x]
, 
ifthenelse: if b then t else f fi 
, 
callbyvalue: callbyvalue, 
multiply: n * m
, 
natural_number: $n
, 
apply: f 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