Nuprl Definition : State2
State2(init;tr1;X1;tr2;X2) == State-loc-comb(λloc.{init loc};tr1 + tr2;X1 (+) X2)
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 :
State2
Latex:
State2(init;tr1;X1;tr2;X2) == State-loc-comb(\mlambda{}loc.\{init loc\};tr1 + tr2;X1 (+) X2)
Date html generated:
2015_07_22-PM-00_25_31
Last ObjectModification:
2012_11_30-PM-04_57_19
Home
Index