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),
iterate-hdataflow: P*(inputs),
hdf-ap: X(a),
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)
FDL editor aliases :
local-class-predicate
Latex:
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:
2016_05_16-PM-02_04_10
Last ObjectModification:
2012_10_12-PM-03_02_33
Theory : event-ordering
Home
Index