F|Loc; Xs| == 
es,e.(F loc(e) (k.(Xs k es e)))
Definitions occuring in Statement :
es-loc: loc(e),
apply: f a,
lambda: x.A[x]
Definitions :
es-loc: loc(e),
lambda: x.A[x],
apply: f a
FDL editor aliases :
simple-loc-comb
F|Loc; Xs| == \mlambda{}es,e.(F loc(e) (\mlambda{}k.(Xs k es e)))
Date html generated:
2011_08_16-AM-11_30_20
Last ObjectModification:
2011_06_16-PM-05_14_53
Home
Index