Nuprl Definition : es-local-property

es-local-property(i,L.P[i; L];es;e) ==  P[loc(e); map(λx.info(x);≤loc(e))]



Definitions occuring in Statement :  es-info: info(e) es-le-before: loc(e) es-loc: loc(e) map: map(f;as) lambda: λx.A[x]
FDL editor aliases :  es-local-property
es-local-property(i,L.P[i;  L];es;e)  ==    P[loc(e);  map(\mlambda{}x.info(x);\mleq{}loc(e))]



Date html generated: 2015_07_17-PM-00_11_49
Last ObjectModification: 2014_08_07-PM-06_32_49

Home Index