Nuprl Definition : State3
State3(init;tr1;X1;tr2;X2;tr3;X3) == State-loc-comb(λloc.{init loc};tr1 + tr2 + tr3;X1 (+) X2 (+) X3)
Definitions occuring in Statement :
State-loc-comb: State-loc-comb(init;f;X),
disjoint-union-tr: tr1 + tr2,
disjoint-union-comb: X (+) Y,
apply: f a,
lambda: λx.A[x],
single-bag: {x}
FDL editor aliases :
State3
Latex:
State3(init;tr1;X1;tr2;X2;tr3;X3) ==
State-loc-comb(\mlambda{}loc.\{init loc\};tr1 + tr2 + tr3;X1 (+) X2 (+) X3)
Date html generated:
2015_07_22-PM-00_26_20
Last ObjectModification:
2012_11_30-PM-04_57_24
Home
Index