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
(||a\mmember{}as.X[a]) == return-loc-bag-class(\mlambda{}slf.as) >a> X[a]
Date html generated:
2015_07_17-PM-00_45_45
Last ObjectModification:
2014_08_04-PM-00_39_06
Home
Index