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
Latex:
locknd(i;k) == kindcase(k;a.<i, k>l,tg.<destination(l), k>)
Date html generated:
2016_05_16-AM-11_00_51
Last ObjectModification:
2012_02_25-AM-10_53_52
Theory : event-ordering
Home
Index