Process-apply(P;m) ==  P m
Definitions : 
apply: f a
FDL editor aliases : 
Process-apply
Process-apply(P;m)  ==    P  m
Date html generated:
2010_08_27-PM-03_49_24
Last ObjectModification:
2010_04_18-PM-11_15_22
Home
Index