Nuprl Definition : rec-bind-class-arg

rec-bind-class-arg(X;Y;a) ==  rec-bind-class(X;Y) a


Definitions occuring in Statement :  rec-bind-class: rec-bind-class(X;Y),  apply: f a
FDL editor aliases :  rec-bind-class-arg
Latex:
rec-bind-class-arg(X;Y;a)  ==    rec-bind-class(X;Y)  a


Date html generated: 2016_05_17-AM-00_32_26
Last ObjectModification: 2012_04_09-PM-04_35_14

Theory : event-ordering


Home Index