Nuprl Definition : send-once-loc-class

send-once-loc-class(b) == once-class(

es,e.(b loc(e)))

Proof not projected

Definitions occuring in Statement : once-class: once-class(X), es-loc: loc(e), apply: f a, lambda:

x.A[x]
FDL editor aliases : send-once-loc-class

send-once-loc-class(b) == once-class(\mlambda{}es,e.(b loc(e))) Date html generated: 2011_10_20-PM-03_22_24 Last ObjectModification: 2011_08_17-PM-05_58_37 Home Index