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