Nuprl Definition : run-eo

EO(r) ==
  mk-extended-eo(type: runEvents(r);
                 domain: λe.tt;
                 loc: λe.run-event-loc(e);
                 info: λe.run-event-msg(r;e);
                 causal: run-lt(r);
                 local: λe1,e2. run-event-step(e1) <z run-event-step(e2);
                 pred: λe.run_local_pred(r;e);
                 rank: λe.run-event-step(e))

Definitions occuring in Statement : run-lt: run-lt(r), run_local_pred: run_local_pred(r;e), run-event-step: run-event-step(e), run-event-loc: run-event-loc(e), run-event-msg: run-event-msg(r;e), runEvents: runEvents(r), mk-extended-eo: mk-extended-eo, lt_int: i <z j, btrue: tt, lambda: λx.A[x]
FDL editor aliases : run-eo

Latex:
EO(r) == mk-extended-eo(type: runEvents(r); domain: \mlambda{}e.tt; loc: \mlambda{}e.run-event-loc(e); info: \mlambda{}e.run-event-msg(r;e); causal: run-lt(r); local: \mlambda{}e1,e2. run-event-step(e1) <z run-event-step(e2); pred: \mlambda{}e.run\_local\_pred(r;e); rank: \mlambda{}e.run-event-step(e)) Date html generated: 2015_07_23-AM-11_15_43 Last ObjectModification: 2014_02_23-PM-01_46_47 Home Index