Nuprl Definition : hdataflow
A "halting dataflow", P, is either halted (inr ⋅ ) or it is a function
that given an input a ∈ A computes a pair <Q, out>, where Q is a new
"halting dataflow" and out is a bag of type B.⋅
hdataflow(A;B) == corec(P.A ─→ (P × bag(B))?)
Definitions occuring in Statement :
corec: corec(T.F[T]),
unit: Unit,
function: x:A ─→ B[x],
product: x:A × B[x],
union: left + right,
bag: bag(T)
FDL editor aliases :
hdf
hdataflow(A;B) == corec(P.A {}\mrightarrow{} (P \mtimes{} bag(B))?)
Date html generated:
2015_07_17-AM-08_04_36
Last ObjectModification:
2014_07_15-PM-05_03_48
Home
Index