dataflow(A;B) == corec(P.A 
(P 
B))
Definitions :
corec: corec(T.F[T]),
function: x:A B[x],
product: x:A B[x]
FDL editor aliases :
dataflow
dataflow(A;B) == corec(P.A {}\mrightarrow{} (P \mtimes{} B))
Date html generated:
2010_08_27-AM-12_04_18
Last ObjectModification:
2010_02_05-PM-01_24_28
Home
Index