Nuprl Definition : pRunType
pRunType(T.M[T]) == ℕ ─→ (ℤ × Id × Id × pMsg(P.M[P])? × Top × LabeledDAG(pInTransit(P.M[P])))
Definitions occuring in Statement :
pInTransit: pInTransit(P.M[P]),
pMsg: pMsg(P.M[P]),
ldag: LabeledDAG(T),
Id: Id,
nat: ℕ,
top: Top,
unit: Unit,
function: x:A ─→ B[x],
product: x:A × B[x],
union: left + right,
int: ℤ
FDL editor aliases :
pRunType
Latex:
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:
2015_07_23-AM-11_09_24
Last ObjectModification:
2012_02_25-PM-03_39_59
Home
Index