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: 2016_05_17-AM-10_23_33
Last ObjectModification: 2012_02_25-PM-03_37_53

Theory : process-model


Home Index