Nuprl Definition : send-once-class
Send(b) ==  (λes,e. b once)
Definitions occuring in Statement : 
once-class: (X once)
, 
lambda: λx.A[x]
FDL editor aliases : 
send-once-class
Latex:
Send(b)  ==    (\mlambda{}es,e.  b  once)
Date html generated:
2016_05_16-PM-11_22_08
Last ObjectModification:
2012_02_25-PM-02_00_27
Theory : event-ordering
Home
Index