Nuprl Definition : OARcast_OrdererState-program

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

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

Definitions occuring in Statement : OARcast_on_order_update: OARcast_on_order_update(M), OARcast_order'verify-program: OARcast_order'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_OrdererState-program

Latex:
OARcast\_OrdererState-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf) == state-class1-program(\mlambda{}slf.[];OARcast\_on\_order\_update(M); OARcast\_order'verify-program(M;deliverhdr;oarcasthdr;orderedhdr;orderhdr;mf)) Date html generated: 2016_05_17-PM-01_07_03 Last ObjectModification: 2014_08_20-PM-00_05_04 Theory : event-logic-applications Home Index