Nuprl Definition : run-event-local-pred
run-event-local-pred(r;e) == if null(run-event-history(r;e)) then inr ⋅ else inl last(run-event-history(r;e)) fi
Definitions occuring in Statement :
run-event-history: run-event-history(r;e),
last: last(L),
null: null(as),
ifthenelse: if b then t else f fi ,
it: ⋅,
inr: inr x ,
inl: inl x
FDL editor aliases :
run-event-local-pred
Latex:
run-event-local-pred(r;e) ==
if null(run-event-history(r;e)) then inr \mcdot{} else inl last(run-event-history(r;e)) fi
Date html generated:
2016_05_17-AM-10_44_05
Last ObjectModification:
2012_02_25-PM-03_41_57
Theory : process-model
Home
Index