Nuprl Definition : eclass-compose2

eclass-compose2(f;X;Y) ==  λeo,e. (f (X eo e) (Y eo e))



Definitions occuring in Statement :  apply: a lambda: λx.A[x]
FDL editor aliases :  eclass-compose2

Latex:
eclass-compose2(f;X;Y)  ==    \mlambda{}eo,e.  (f  (X  eo  e)  (Y  eo  e))



Date html generated: 2016_05_16-PM-02_21_26
Last ObjectModification: 2012_02_25-PM-01_19_12

Theory : event-ordering


Home Index