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
null-process(n) == RecProcess(\mcdot{};s,m.<s, n>)
Date html generated:
2015_07_17-AM-11_20_03
Last ObjectModification:
2012_02_25-AM-11_38_36
Home
Index