Nuprl Definition : class-ap

X(e) ==  X es e


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  class-ap
Latex:
X(e)  ==    X  es  e


Date html generated: 2016_05_16-PM-01_27_15
Last ObjectModification: 2012_04_04-PM-05_47_17

Theory : event-ordering


Home Index