Nuprl Definition : parallel-class

|| ==  eclass-compose2(λxs,ys. (xs ys);X;Y)



Definitions occuring in Statement :  eclass-compose2: eclass-compose2(f;X;Y) lambda: λx.A[x] bag-append: as bs
FDL editor aliases :  parallel-class

Latex:
X  ||  Y  ==    eclass-compose2(\mlambda{}xs,ys.  (xs  +  ys);X;Y)



Date html generated: 2016_05_16-PM-02_27_29
Last ObjectModification: 2012_02_25-PM-01_21_05

Theory : event-ordering


Home Index