Nuprl Definition : kind-rename

kind-rename(ra;rt;k) ==  kindcase(k;a.locl(ra a);l,tg.rcv(l,rt tg))


Definitions occuring in Statement :  kindcase: kindcase(k;a.f[a];l,t.g[l; t]),  locl: locl(a),  rcv: rcv(l,tg),  apply: f a
FDL editor aliases :  kind-rename
Latex:
kind-rename(ra;rt;k)  ==    kindcase(k;a.locl(ra  a);l,tg.rcv(l,rt  tg))


Date html generated: 2016_05_16-AM-10_55_29
Last ObjectModification: 2012_02_25-AM-10_52_53

Theory : event-ordering


Home Index