Nuprl Definition : rec-comb
rec-comb(X;f;init) == fix((λrec-comb,es,e. (f loc(e) (λi.(X i es e)) (Prior(rec-comb)?init es e))))
Definitions occuring in Statement :
primed-class-opt: Prior(X)?b,
es-loc: loc(e),
apply: f a,
fix: fix(F),
lambda: λx.A[x]
FDL editor aliases :
rec-comb
Latex:
rec-comb(X;f;init) == fix((\mlambda{}rec-comb,es,e. (f loc(e) (\mlambda{}i.(X i es e)) (Prior(rec-comb)?init es e))))
Date html generated:
2015_07_21-PM-02_48_59
Last ObjectModification:
2012_07_02-PM-04_11_53
Home
Index