Nuprl Definition : hdf-ap

X(a) ==  case of inl(P) => inr(z) => <inr ⋅ {}>



Definitions occuring in Statement :  it: apply: a pair: <a, b> decide: case of inl(x) => s[x] inr(y) => t[y] inr: inr  empty-bag: {}
FDL editor aliases :  hdf-ap

Latex:
X(a)  ==    case  X  of  inl(P)  =>  P  a  |  inr(z)  =>  <inr  \mcdot{}  ,  \{\}>



Date html generated: 2016_05_16-AM-10_37_38
Last ObjectModification: 2012_11_23-PM-02_09_03

Theory : halting!dataflow


Home Index