Nuprl Definition : OARcast_DelivererState-program

OARcast_DelivererState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) ==
state-class1-program(λslf.[];OARcast_on_ordered_update(M);

                       OARcast_ordered'verify-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf))

Definitions occuring in Statement : OARcast_on_ordered_update: OARcast_on_ordered_update(M), OARcast_ordered'verify-program: OARcast_ordered'verify-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf), state-class1-program: state-class1-program(init;tr;pr), nil: [], lambda: λx.A[x]
FDL editor aliases : OARcast_DelivererState-program

Latex:
OARcast\_DelivererState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) == state-class1-program(\mlambda{}slf.[];OARcast\_on\_ordered\_update(M); OARcast\_ordered'verify-program(M;deliverhdr;oarcasthdr;orderedhdr;...;mf)) Date html generated: 2015_07_23-PM-00_35_02 Last ObjectModification: 2014_08_20-PM-00_08_58 Home Index