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