Nuprl Definition : parallel-bag-class

The parallel composition of classes ⌜X[a]⌝ with parameter a taken
from bag of parameters ⌜as⌝ can be defined using the bind class.
It has the expected class-rel. See: Error :parallel-bag-classrel

(In EventML, this is writtem Output(\slf.as) >>= X )⋅

(||a∈as.X[a]) == return-loc-bag-class(λslf.as) >a> X[a]

Definitions occuring in Statement : bind-class: X >x> Y[x], return-loc-bag-class: return-loc-bag-class(x), lambda: λx.A[x]
FDL editor aliases : parallel-bag-class

Latex:
(||a\mmember{}as.X[a]) == return-loc-bag-class(\mlambda{}slf.as) >a> X[a] Date html generated: 2016_05_17-PM-03_26_46 Last ObjectModification: 2014_08_04-PM-00_39_06 Theory : event-ordering Home Index