Nuprl Definition : es-is-interface

(e in X) ==  can-apply(X;e)


Definitions occuring in Statement :  can-apply: can-apply(f;x)
FDL editor aliases :  es-is-interface es-is-interface
Latex:
(e  in  X)  ==    can-apply(X;e)


Date html generated: 2016_05_16-AM-10_04_47
Last ObjectModification: 2013_03_25-PM-01_54_03

Theory : new!event-ordering


Home Index