Nuprl Definition : local-simulation-inputs
local-simulation-inputs(es;e;hdr;locs) ==
mapfilter(λm.msg-body(m);λm.has-header-and-in-locs(m;hdr;locs);map(λe.info(e);≤loc(e)))
Definitions occuring in Statement :
has-header-and-in-locs: has-header-and-in-locs(msg;hdr;locs),
msg-body: msg-body(msg),
es-info: info(e),
es-le-before: ≤loc(e),
mapfilter: mapfilter(f;P;L),
map: map(f;as),
lambda: λx.A[x]
FDL editor aliases :
local-simulation-inputs
Latex:
local-simulation-inputs(es;e;hdr;locs) ==
mapfilter(\mlambda{}m.msg-body(m);\mlambda{}m.has-header-and-in-locs(m;hdr;locs);map(\mlambda{}e.info(e);\mleq{}loc(e)))
Date html generated:
2015_07_21-PM-04_50_12
Last ObjectModification:
2014_08_05-PM-02_20_50
Home
Index