f|Loc, X, Prior(self)| ==
Y
(
rec-combined-loc-class,es,e.
(f loc(e) (i.(X i es e)) (Prior(rec-combined-loc-class) es e)))
Definitions occuring in Statement :
primed-class: Prior(X),
es-loc: loc(e),
ycomb: Y,
apply: f a,
lambda: x.A[x]
Definitions :
ycomb: Y,
es-loc: loc(e),
lambda: x.A[x],
apply: f a,
primed-class: Prior(X)
FDL editor aliases :
rec-combined-loc-class
f|Loc, X, Prior(self)| ==
Y (\mlambda{}rec-combined-loc-class,es,e.(f loc(e) (\mlambda{}i.(X i es e)) (Prior(rec-combined-loc-class) es e)))
Date html generated:
2011_08_16-PM-04_51_26
Last ObjectModification:
2011_04_14-PM-09_28_15
Home
Index