Nuprl Definition : pRunInfo
pRunInfo(P.M[P]) == ℤ × Id × Id × pMsg(P.M[P])?
Definitions occuring in Statement :
pMsg: pMsg(P.M[P]),
Id: Id,
unit: Unit,
product: x:A × B[x],
union: left + right,
int: ℤ
FDL editor aliases :
pRunInfo
Latex:
pRunInfo(P.M[P]) == \mBbbZ{} \mtimes{} Id \mtimes{} Id \mtimes{} pMsg(P.M[P])?
Date html generated:
2016_05_17-AM-10_39_28
Last ObjectModification:
2012_02_25-PM-03_39_50
Theory : process-model
Home
Index