(I|
p) == 
eo,e.case p eo e of inl(x) => {} | inr(x) => I eo e
Definitions occuring in Statement :
apply: f a,
lambda: x.A[x],
decide: case b of inl(x) => s[x] | inr(y) => t[y],
empty-bag: {}
Definitions :
lambda: x.A[x],
decide: case b of inl(x) => s[x] | inr(y) => t[y],
empty-bag: {},
apply: f a
FDL editor aliases :
es-interface-co-restrict
(I|\mneg{}p) == \mlambda{}eo,e.case p eo e of inl(x) => \{\} | inr(x) => I eo e
Date html generated:
2011_08_16-PM-04_25_37
Last ObjectModification:
2011_01_15-PM-08_50_10
Home
Index