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