Nuprl Definition : pMsg

pMsg(P.M[P]) == M[Process(P.M[P])]

Definitions occuring in Statement : Process: Process(P.M[P])
FDL editor aliases : pMsg

Latex:
pMsg(P.M[P]) == M[Process(P.M[P])] Date html generated: 2015_07_23-AM-11_06_43 Last ObjectModification: 2012_02_25-PM-03_37_13 Home Index