Nuprl Definition : kindcase
kindcase(k;a.f[a];l,t.g[l; t]) ==  if islocal(k) then f[act(k)] else g[lnk(k); tag(k)] fi 
Definitions occuring in Statement : 
actof: act(k)
, 
tagof: tag(k)
, 
lnk: lnk(k)
, 
islocal: islocal(k)
, 
ifthenelse: if b then t else f fi 
FDL editor aliases : 
kindcase
Latex:
kindcase(k;a.f[a];l,t.g[l;  t])  ==    if  islocal(k)  then  f[act(k)]  else  g[lnk(k);  tag(k)]  fi 
Date html generated:
2016_05_16-AM-10_55_20
Last ObjectModification:
2012_02_25-AM-10_52_50
Theory : event-ordering
Home
Index