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: f a
, 
lambda: λx.A[x]
, 
decide: case b of inl(x) => s[x] | inr(y) => t[y]
Definitions occuring in definition : 
lambda: λx.A[x]
, 
decide: case b of inl(x) => s[x] | inr(y) => t[y]
, 
apply: f 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