Nuprl Definition : State1
State1(init;tr;X) == State-loc-comb(λloc.{init loc};tr;X)
Definitions occuring in Statement :
State-loc-comb: State-loc-comb(init;f;X),
apply: f a,
lambda: λx.A[x],
single-bag: {x}
FDL editor aliases :
State1
Latex:
State1(init;tr;X) == State-loc-comb(\mlambda{}loc.\{init loc\};tr;X)
Date html generated:
2015_07_22-PM-00_24_53
Last ObjectModification:
2012_11_30-PM-04_57_11
Home
Index