Nuprl Definition : map-eval
map-eval(x.f[x];L) == rec-case(L) of [] => [] | a::b => r.eval a = f[a] in eval b = r in [a / b]
Definitions occuring in Statement :
callbyvalue: callbyvalue
Definitions occuring in definition :
callbyvalue: callbyvalue
FDL editor aliases :
map-eval
Latex:
map-eval(x.f[x];L) == rec-case(L) of [] => [] | a::b => r.eval a = f[a] in eval b = r in [a / b]
Date html generated:
2016_05_13-PM-03_25_44
Last ObjectModification:
2015_09_22-PM-05_44_47
Theory : call!by!value_1
Home
Index