Nuprl Definition : local-class-predicate
local-class-predicate{i:l}(F;Info;A;X) ==
∀es:EO+(Info). ∀e:E. (X(e) = (snd(F loc(e)*(map(λx.info(x);before(e)))(info(e)))) ∈ bag(A))
Definitions occuring in Statement :
class-ap: X(e),
es-info: info(e),
event-ordering+: EO+(Info),
es-before: before(e),
es-loc: loc(e),
es-E: E,
map: map(f;as),
pi2: snd(t),
all: ∀x:A. B[x],
apply: f a,
lambda: λx.A[x],
equal: s = t ∈ T,
bag: bag(T),
iterate-hdataflow: P*(inputs),
hdf-ap: X(a)
FDL editor aliases :
local-class-predicate
local-class-predicate\{i:l\}(F;Info;A;X) ==
\mforall{}es:EO+(Info). \mforall{}e:E. (X(e) = (snd(F loc(e)*(map(\mlambda{}x.info(x);before(e)))(info(e)))))
Date html generated:
2015_07_17-PM-00_31_13
Last ObjectModification:
2012_10_12-PM-03_02_33
Home
Index