Nuprl Definition : component
component(P.M[P]) ==  Id × Process(P.M[P])
Definitions occuring in Statement : 
Process: Process(P.M[P])
, 
Id: Id
, 
product: x:A × B[x]
FDL editor aliases : 
component
Latex:
component(P.M[P])  ==    Id  \mtimes{}  Process(P.M[P])
Date html generated:
2016_05_17-AM-10_24_28
Last ObjectModification:
2012_02_25-PM-03_38_21
Theory : process-model
Home
Index