local-pred-class(P) ==
es,e.case last(P es) e of inl(e') => {e'} | inr(x) => {}
Definitions occuring in Statement :
es-local-pred: last(P),
apply: f a,
lambda: x.A[x],
decide: case b of inl(x) => s[x] | inr(y) => t[y],
single-bag: {x},
empty-bag: {}
Definitions :
lambda: x.A[x],
decide: case b of inl(x) => s[x] | inr(y) => t[y],
es-local-pred: last(P),
apply: f a,
single-bag: {x},
empty-bag: {}
FDL editor aliases :
local-pred-class
local-pred-class(P) == \mlambda{}es,e.case last(P es) e of inl(e') => \{e'\} | inr(x) => \{\}
Date html generated:
2011_08_16-PM-04_42_03
Last ObjectModification:
2011_01_15-PM-12_48_12
Home
Index