Nuprl Definition : case_nil

[] => body cont ==  λvalue,contvalue. rec-case(value) of [] => body | hd::tl => f.cont contvalue contvalue


Definitions occuring in Statement :  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x],  apply: f a
FDL editor aliases :  case_nil
Latex:
[]  =>
        body
cont  ==
    \mlambda{}value,contvalue.  rec-case(value)  of  []  =>  body  |  hd::tl  =>  f.cont  contvalue  contvalue


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

Theory : prog_1


Home Index