Nuprl Definition : eo-local-agree
eo-local-agree(Info;eo1;eo2;e1;e2) == map(λe.info(e);≤loc(e1)) = map(λe.info(e);≤loc(e2)) ∈ (Info List)
Definitions occuring in Statement :
es-info: info(e),
es-le-before: ≤loc(e),
map: map(f;as),
list: T List,
lambda: λx.A[x],
equal: s = t ∈ T
FDL editor aliases :
eo-local-agree
eo-local-agree(Info;eo1;eo2;e1;e2) == map(\mlambda{}e.info(e);\mleq{}loc(e1)) = map(\mlambda{}e.info(e);\mleq{}loc(e2))
Date html generated:
2015_07_17-PM-00_32_31
Last ObjectModification:
2014_07_24-PM-00_26_04
Home
Index