pEnvType(T.M[T]) ==
t:
t (?
Id Id pMsg(P.M[P]) Top LabeledDAG(pInTransit(P.M[P])))
( Id)
Definitions :
Id: Id,
nat: ,
product: x:A B[x],
pInTransit: pInTransit(P.M[P]),
ldag: LabeledDAG(T),
top: Top,
unit: Unit,
pMsg: pMsg(P.M[P]),
int: ,
union: left + right,
natural_number: $n,
int_seg: {i..j
},
function: x:A B[x],
nat_plus:
FDL editor aliases :
pEnvType
pEnvType(T.M[T]) ==
t:\mBbbN{}\msupplus{} {}\mrightarrow{} \mBbbN{}t {}\mrightarrow{} (?\mBbbZ{} \mtimes{} Id \mtimes{} Id \mtimes{} pMsg(P.M[P]) \mtimes{} Top \mtimes{} LabeledDAG(pInTransit(P.M[P]))) {}\mrightarrow{} (\mBbbN{} \mtimes{} \mBbbN{} \mtimes{} Id)
Date html generated:
2010_08_27-PM-03_53_15
Last ObjectModification:
2010_06_30-PM-11_22_12
Home
Index