Nuprl Definition : local-simulation-event
local-simulation-event(es;e;hdr;locs) == ||filter(λm.has-header-and-in-locs(m;hdr;locs);map(λe.info(e);before(e)))||
Definitions occuring in Statement :
has-header-and-in-locs: has-header-and-in-locs(msg;hdr;locs),
es-info: info(e),
es-before: before(e),
length: ||as||,
filter: filter(P;l),
map: map(f;as),
lambda: λx.A[x]
FDL editor aliases :
local-simulation-event
Latex:
local-simulation-event(es;e;hdr;locs) ==
||filter(\mlambda{}m.has-header-and-in-locs(m;hdr;locs);map(\mlambda{}e.info(e);before(e)))||
Date html generated:
2016_05_17-AM-08_53_40
Last ObjectModification:
2014_08_05-PM-02_42_05
Theory : messages
Home
Index