Nuprl Definition : OARcast_OrdererForSender-program

OARcast_OrdererForSender-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;receivers;mf) ==

  λsndr.eclass0-program(OARcast_orderer_for_sender_outputs(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;receivers;mf)

                        sndr;OARcast_OrdererForSenderState-program(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-program: OARcast_OrdererForSenderState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf), eclass0-program: eclass0-program(f;pr), apply: f a, lambda: λx.A[x]
FDL editor aliases : OARcast_OrdererForSender-program

Latex:
OARcast\_OrdererForSender-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;receivers;mf) == \mlambda{}sndr.eclass0-program(OARcast\_orderer\_for\_sender\_outputs(M;deliverhdr;oarcasthdr;...;...;...;mf) sndr; OARcast\_OrdererForSenderState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) sndr) Date html generated: 2015_07_23-PM-00_31_48 Last ObjectModification: 2014_08_20-PM-00_04_14 Home Index