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: 2015_07_23-AM-11_06_46 Last ObjectModification: 2012_02_25-PM-03_37_17 Home Index