Nuprl Definition : OARcast_SenderState-program

OARcast_SenderState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) ==
state-class1-program(λslf.0;OARcast_on_oarcast_update(M);

                       OARcast_oarcast'base-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf))

Definitions occuring in Statement : OARcast_on_oarcast_update: OARcast_on_oarcast_update(M), OARcast_oarcast'base-program: OARcast_oarcast'base-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf), state-class1-program: state-class1-program(init;tr;pr), lambda: λx.A[x], natural_number: $n
FDL editor aliases : OARcast_SenderState-program

Latex:
OARcast\_SenderState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) == state-class1-program(\mlambda{}slf.0;OARcast\_on\_oarcast\_update(M); OARcast\_oarcast'base-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)) Date html generated: 2015_07_23-PM-00_30_41 Last ObjectModification: 2014_08_20-PM-00_02_23 Home Index