process(P.M[P];P.E[P]) == corec(P.M[P] 
(P 
E[P]))
Definitions :
corec: corec(T.F[T]),
function: x:A B[x],
product: x:A B[x]
FDL editor aliases :
process
process(P.M[P];P.E[P]) == corec(P.M[P] {}\mrightarrow{} (P \mtimes{} E[P]))
Date html generated:
2010_08_27-AM-12_25_21
Last ObjectModification:
2010_04_09-PM-03_55_13
Home
Index