Nuprl Definition : tagged-list-messages
tagged-list-messages(s;v;L) == concat(map(λtgf.map(λx.<fst(tgf), x>;(snd(tgf)) s v);L))
Definitions occuring in Statement :
concat: concat(ll),
map: map(f;as),
pi1: fst(t),
pi2: snd(t),
apply: f a,
lambda: λx.A[x],
pair: <a, b>
FDL editor aliases :
tagged-list-messages
Latex:
tagged-list-messages(s;v;L) == concat(map(\mlambda{}tgf.map(\mlambda{}x.<fst(tgf), x>(snd(tgf)) s v);L))
Date html generated:
2016_05_16-AM-10_57_04
Last ObjectModification:
2012_02_25-AM-10_53_09
Theory : event-ordering
Home
Index