Nuprl Definition : rec-op-bind-class

rec-op-bind-class(X;Y;F) == Y (

rec-op-bind-class,v.X v || Y v >>=

u,es,e.(F u (rec-op-bind-class u es e)))

Definitions occuring in Statement : mbind-class: X >>= Y, parallel-class: X || Y, ycomb: Y, apply: f a, lambda:

x.A[x]
FDL editor aliases : rec-op-bind-class

rec-op-bind-class(X;Y;F) == Y (\mlambda{}rec-op-bind-class,v.X v || Y v >>= \mlambda{}u,es,e.(F u (rec-op-bind-class u es e))) Date html generated: 2012_02_20-PM-02_48_51 Last ObjectModification: 2012_02_03-AM-00_38_19 Home Index