Nuprl Definition : OARcast_OrdererForSender
OARcast_OrdererForSender(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;receivers;mf) ==
λsndr.(OARcast_orderer_for_sender_outputs(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;receivers;mf)
sndr o OARcast_OrdererForSenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) sndr)
Definitions occuring in Statement :
OARcast_orderer_for_sender_outputs: OARcast_orderer_for_sender_outputs(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;receivers;mf),
OARcast_OrdererForSenderState: OARcast_OrdererForSenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf),
eclass0: (f o X),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
OARcast_OrdererForSender
Latex:
OARcast\_OrdererForSender(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;receivers;mf) ==
\mlambda{}sndr.(OARcast\_orderer\_for\_sender\_outputs(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;...;mf)
sndr o OARcast\_OrdererForSenderState(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) sndr)
Date html generated:
2015_07_23-PM-00_31_41
Last ObjectModification:
2014_08_20-PM-00_04_02
Home
Index