Nuprl Definition : pExt

pExt(P.M[P]) ==  LabeledDAG(Id × pCom(P.M[P]))


Definitions occuring in Statement :  pCom: pCom(P.M[P]),  ldag: LabeledDAG(T),  Id: Id,  product: x:A × B[x]
FDL editor aliases :  pExt
Latex:
pExt(P.M[P])  ==    LabeledDAG(Id  \mtimes{}  pCom(P.M[P]))


Date html generated: 2016_05_17-AM-10_23_23
Last ObjectModification: 2012_02_25-PM-03_37_47

Theory : process-model


Home Index