Nuprl Definition : Process-apply

Process-apply(P;m) ==  P m


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  Process-apply
Latex:
Process-apply(P;m)  ==    P  m


Date html generated: 2015_07_23-AM-11_07_16
Last ObjectModification: 2012_02_25-PM-03_37_53

Home Index