Nuprl Definition : cps-accum
cps-accum(k,a.f[k; a];b;L) == rec-case(L) of [] => λk.(k b) | a::as => r.λk.(r f[k; a])
Definitions occuring in Statement :
list_ind: list_ind,
apply: f a,
lambda: λx.A[x]
Definitions occuring in definition :
list_ind: list_ind,
lambda: λx.A[x],
apply: f a
FDL editor aliases :
cps-accum
Latex:
cps-accum(k,a.f[k; a];b;L) == rec-case(L) of [] => \mlambda{}k.(k b) | a::as => r.\mlambda{}k.(r f[k; a])
Date html generated:
2016_05_15-PM-03_48_22
Last ObjectModification:
2015_09_23-AM-07_44_53
Theory : general
Home
Index