Nuprl Definition : order-messages
order-messages(mcmp;locs;hdrs) == λb.bag-to-list(interface-cmp(mcmp;locs;hdrs);b)
Definitions occuring in Statement :
interface-cmp: interface-cmp(mcmp;locs;hdrs),
lambda: λx.A[x],
bag-to-list: bag-to-list(cmp;b)
FDL editor aliases :
order-messages
Latex:
order-messages(mcmp;locs;hdrs) == \mlambda{}b.bag-to-list(interface-cmp(mcmp;locs;hdrs);b)
Date html generated:
2016_05_17-AM-09_03_57
Last ObjectModification:
2014_07_16-PM-05_59_41
Theory : messages
Home
Index