Nuprl Definition : state-class3
state-class3(init;tr1;X1;tr2;X2;tr3;X3) == loop-class-state((tr1 o X1) || (tr2 o X2) || (tr3 o X3);λloc.{init loc})
Definitions occuring in Statement :
loop-class-state: loop-class-state(X;init),
parallel-class: X || Y,
eclass1: (f o X),
apply: f a,
lambda: λx.A[x],
single-bag: {x}
FDL editor aliases :
state-class3
Latex:
state-class3(init;tr1;X1;tr2;X2;tr3;X3) ==
loop-class-state((tr1 o X1) || (tr2 o X2) || (tr3 o X3);\mlambda{}loc.\{init loc\})
Date html generated:
2016_05_16-PM-11_43_36
Last ObjectModification:
2012_10_05-PM-01_24_00
Theory : event-ordering
Home
Index