Nuprl Definition : null-process

null-process(n) ==  RecProcess(⋅;s,m.<s, n>)


Definitions occuring in Statement :  rec-process: RecProcess(s0;s,m.next[s; m]),  it: ⋅,  pair: <a, b>
FDL editor aliases :  null-process
Latex:
null-process(n)  ==    RecProcess(\mcdot{};s,m.<s,  n>)


Date html generated: 2016_05_16-AM-11_43_53
Last ObjectModification: 2012_02_25-AM-11_38_36

Theory : event-ordering


Home Index