Nuprl Definition : pi-process
pi-process() == Process(T.piM(T))
Definitions occuring in Statement :
piM: piM(T),
Process: Process(P.M[P])
FDL editor aliases :
pi-process
Latex:
pi-process() == Process(T.piM(T))
Date html generated:
2016_05_17-AM-11_30_25
Last ObjectModification:
2012_08_30-PM-01_45_38
Theory : event-logic-applications
Home
Index