rec-comb(X;f;init) ==
Y (
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),
ycomb: Y,
apply: f a,
lambda: x.A[x]
FDL editor aliases :
rec-comb
rec-comb(X;f;init) == Y (\mlambda{}rec-comb,es,e.(f loc(e) (\mlambda{}i.(X i es e)) (Prior(rec-comb)?init es e)))
Date html generated:
2011_08_16-PM-04_50_52
Last ObjectModification:
2011_07_23-AM-01_37_52
Home
Index