es-pred-list(es;e) ==
filter(
z.((es-dom(es) z) 
((z.es-bcausl(es;z;e)) z));fst((es."fin" e)))
Definitions occuring in Statement :
es-bcausl: es-bcausl(es;e;e'),
es-dom: es-dom(es),
band: p q,
pi1: fst(t),
apply: f a,
lambda: x.A[x],
token: "$token",
filter: filter(P;l),
record-select: r.x
Definitions :
filter: filter(P;l),
band: p q,
es-dom: es-dom(es),
lambda: x.A[x],
es-bcausl: es-bcausl(es;e;e'),
pi1: fst(t),
apply: f a,
record-select: r.x,
token: "$token"
FDL editor aliases :
es-pred-list
es-pred-list(es;e) == filter(\mlambda{}z.((es-dom(es) z) \mwedge{}\msubb{} ((\mlambda{}z.es-bcausl(es;z;e)) z));fst((es."fin" e)))
Date html generated:
2011_08_16-AM-10_23_29
Last ObjectModification:
2010_11_22-PM-05_27_22
Home
Index