X >x> Y[x] == 
es,e.
e'
loc(e).xX es e'.Y[x] es.e' e
Definitions occuring in Statement :
eo-forward: eo.e,
es-le-before: loc(e),
apply: f a,
lambda: x.A[x],
bag-combine: xbs.f[x]
Definitions :
lambda: x.A[x],
es-le-before: loc(e),
bag-combine: xbs.f[x],
apply: f a,
eo-forward: eo.e
FDL editor aliases :
bind-class
X >x> Y[x] == \mlambda{}es,e.\mcup{}e'\mmember{}\mleq{}loc(e).\mcup{}x\mmember{}X es e'.Y[x] es.e' e
Date html generated:
2011_08_16-AM-11_32_53
Last ObjectModification:
2011_01_17-AM-11_47_53
Home
Index