pRunType(T.M[T]) ==
(?
Id Id pMsg(P.M[P]) Top LabeledDAG(pInTransit(P.M[P])))
Definitions :
pInTransit: pInTransit(P.M[P]),
ldag: LabeledDAG(T),
top: Top,
product: x:A B[x],
unit: Unit,
pMsg: pMsg(P.M[P]),
Id: Id,
int: ,
union: left + right,
nat: ,
function: x:A B[x]
FDL editor aliases :
pRunType
pRunType(T.M[T]) == \mBbbN{} {}\mrightarrow{} (?\mBbbZ{} \mtimes{} Id \mtimes{} Id \mtimes{} pMsg(P.M[P]) \mtimes{} Top \mtimes{} LabeledDAG(pInTransit(P.M[P])))
Date html generated:
2010_08_27-PM-03_53_03
Last ObjectModification:
2010_06_30-PM-11_21_45
Home
Index