Nuprl Definition : pi-process

pi-process() ==  Process(T.piM(T))


Definitions occuring in Statement :  piM: piM(T),  Process: Process(P.M[P])
FDL editor aliases :  pi-process
Latex:
pi-process()  ==    Process(T.piM(T))


Date html generated: 2015_07_23-AM-11_36_18
Last ObjectModification: 2012_08_30-PM-01_45_38

Home Index