Nuprl Definition : prior-as-rec-bind-class-out2

prior-as-rec-bind-class-out2(i) ==  Skip-e(send-first-class(i))


Definitions occuring in Statement :  send-first-class: send-first-class(b),  but-first-class: Skip-e(X)
FDL editor aliases :  prior-as-rec-bind-class-out2
Latex:
prior-as-rec-bind-class-out2(i)  ==    Skip-e(send-first-class(i))


Date html generated: 2016_05_17-AM-00_30_42
Last ObjectModification: 2012_04_17-AM-00_31_45

Theory : event-ordering


Home Index