Nuprl Definition : pCom
pCom(P.M[P]) ==  Com(P.M[P]) Process(P.M[P])
Definitions occuring in Statement : 
Process: Process(P.M[P])
, 
Com: Com(P.M[P])
, 
apply: f a
FDL editor aliases : 
pCom
Latex:
pCom(P.M[P])  ==    Com(P.M[P])  Process(P.M[P])
Date html generated:
2016_05_17-AM-10_22_35
Last ObjectModification:
2012_02_25-PM-03_37_17
Theory : process-model
Home
Index