Send(b) ==  once-class(es,e.b)



Definitions occuring in Statement :  once-class: once-class(X) lambda: x.A[x]
Definitions :  once-class: once-class(X) lambda: x.A[x]
FDL editor aliases :  send-once-class

Send(b)  ==    once-class(\mlambda{}es,e.b)


Date html generated: 2011_08_16-PM-04_41_32
Last ObjectModification: 2011_06_20-PM-12_05_56

Home Index