process-Output(lp.M[lp]) == (Id 
process-Input(lp.M[lp])) List
Definitions :
list: type List,
product: x:A B[x],
Id: Id,
process-Input: process-Input(lp.M[lp])
FDL editor aliases :
process-Output
process-Output(lp.M[lp]) == (Id \mtimes{} process-Input(lp.M[lp])) List
Date html generated:
2010_08_27-PM-08_33_13
Last ObjectModification:
2010_01_31-PM-08_27_11
Home
Index