Nuprl Definition : rec-bind-class
rec-bind-class(X;Y) == Y (
rec-bind-class,v.X v || Y v >>= rec-bind-class)
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-bind-class
rec-bind-class(X;Y) == Y (\mlambda{}rec-bind-class,v.X v || Y v >>= rec-bind-class)
Date html generated:
2012_02_20-PM-02_48_32
Last ObjectModification:
2012_02_01-AM-11_19_46
Home
Index