Nuprl Definition : Process
Process(P.M[P]) == process(P.M[P];P.LabeledDAG(Id × (Com(P.M[P]) P)))
Definitions occuring in Statement :
Com: Com(P.M[P]),
ldag: LabeledDAG(T),
process: process(P.M[P];P.E[P]),
Id: Id,
apply: f a,
product: x:A × B[x]
FDL editor aliases :
Process
Latex:
Process(P.M[P]) == process(P.M[P];P.LabeledDAG(Id \mtimes{} (Com(P.M[P]) P)))
Date html generated:
2015_07_23-AM-11_06_38
Last ObjectModification:
2012_02_25-PM-03_37_07
Home
Index