fulpRunType(T.M[T]) == 
(?
Id Id pMsg(P.M[P]) System(P.M[P]))
Definitions :
System: System(P.M[P]),
unit: Unit,
pMsg: pMsg(P.M[P]),
Id: Id,
product: x:A B[x],
int: ,
union: left + right,
nat: ,
function: x:A B[x]
FDL editor aliases :
fulpRunType
fulpRunType(T.M[T]) == \mBbbN{} {}\mrightarrow{} (?\mBbbZ{} \mtimes{} Id \mtimes{} Id \mtimes{} pMsg(P.M[P]) \mtimes{} System(P.M[P]))
Date html generated:
2010_08_27-PM-03_52_58
Last ObjectModification:
2010_06_30-PM-09_46_19
Home
Index