Nuprl Definition : case_inr

inr(x) => body[x] cont ==  λvalue,contvalue. case value of inl(_) => cont contvalue contvalue inr(x) => body[x]



Definitions occuring in Statement :  apply: a lambda: λx.A[x] decide: case of inl(x) => s[x] inr(y) => t[y]
Definitions occuring in definition :  lambda: λx.A[x] decide: case of inl(x) => s[x] inr(y) => t[y] apply: a
FDL editor aliases :  case_inr

Latex:
inr(x)  =>
        body[x]
cont  ==
    \mlambda{}value,contvalue.  case  value  of  inl($_{}$)  =>  cont  contvalue  contvalue  |  inr(x\000C)  =>  body[x]



Date html generated: 2016_05_14-PM-04_15_41
Last ObjectModification: 2015_09_22-PM-06_02_33

Theory : prog_1


Home Index