Nuprl Definition : es-interface-sum
Σ≤e(X) == local-state(λx,y. (x + y);0;X;e)
Definitions occuring in Statement :
es-interface-local-state: local-state(f;base;X;e),
lambda: λx.A[x],
add: n + m,
natural_number: $n
FDL editor aliases :
es-interface-sum
Latex:
\mSigma{}\mleq{}e(X) == local-state(\mlambda{}x,y. (x + y);0;X;e)
Date html generated:
2015_07_21-PM-03_43_44
Last ObjectModification:
2012_02_25-PM-02_44_17
Home
Index