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:
2015_07_20-PM-04_00_46
Last ObjectModification:
2012_02_25-PM-02_00_27
Home
Index