Nuprl Definition : on-loc-class
on-loc-class(X) ==  λes,e. (X loc(e) es e)
Definitions occuring in Statement : 
es-loc: loc(e)
, 
apply: f a
, 
lambda: λx.A[x]
FDL editor aliases : 
on-loc-class
Latex:
on-loc-class(X)  ==    \mlambda{}es,e.  (X  loc(e)  es  e)
Date html generated:
2016_05_16-PM-11_24_06
Last ObjectModification:
2012_02_25-PM-02_00_51
Theory : event-ordering
Home
Index