Nuprl Definition : System
System(P.M[P]) == component(P.M[P]) List × LabeledDAG(pInTransit(P.M[P]))
Definitions occuring in Statement :
pInTransit: pInTransit(P.M[P]),
component: component(P.M[P]),
ldag: LabeledDAG(T),
list: T List,
product: x:A × B[x]
FDL editor aliases :
System
Latex:
System(P.M[P]) == component(P.M[P]) List \mtimes{} LabeledDAG(pInTransit(P.M[P]))
Date html generated:
2015_07_23-AM-11_08_09
Last ObjectModification:
2012_02_25-PM-03_38_48
Home
Index