Nuprl Definition : vr_foldr
vr_foldr(f;b;lst) == Y (
vr_foldr,lst.rec-case(lst) of [] => b | x::xs => r.f x (vr_foldr xs)) lst
Definitions occuring in Statement :
ycomb: Y,
apply: f a,
lambda: x.A[x],
list_ind: list_ind def
FDL editor aliases :
vr_foldr
vr\_foldr(f;b;lst) == Y (\mlambda{}vr$_{foldr}$,lst.rec-case(lst) of [] => b | x::xs => r\000C.f x (vr$_{foldr}$ xs)) lst
Date html generated:
2012_02_20-PM-03_30_41
Last ObjectModification:
2012_02_02-PM-01_54_41
Home
Index