Nuprl Definition : locknd

locknd(i;k) == kindcase(k;a.<i, k>;l,tg.<destination(l), k>)

Definitions occuring in Statement : ldst: destination(l), kindcase: kindcase(k;a.f[a];l,t.g[l; t]), pair: <a, b>
FDL editor aliases : locknd
locknd(i;k) == kindcase(k;a.<i, k>l,tg.<destination(l), k>) Date html generated: 2015_07_17-AM-09_14_39 Last ObjectModification: 2012_02_25-AM-10_53_52 Home Index