Nuprl Definition : dataflow
dataflow(A;B) == corec(P.A ─→ (P × B))
Definitions occuring in Statement :
corec: corec(T.F[T])
,
function: x:A ─→ B[x]
,
product: x:A × B[x]
FDL editor aliases :
dataflow
Latex:
dataflow(A;B) == corec(P.A {}\mrightarrow{} (P \mtimes{} B))
Date html generated:
2015_07_23-AM-11_05_07
Last ObjectModification:
2013_10_24-PM-10_54_53
Home
Index