Nuprl Definition : eval-list

eval-list(L) ==  norm-list(λx.x) L


Definitions occuring in Statement :  norm-list: norm-list(N),  apply: f a,  lambda: λx.A[x]
Definitions occuring in definition :  apply: f a,  norm-list: norm-list(N),  lambda: λx.A[x]
FDL editor aliases :  eval-list
Latex:
eval-list(L)  ==    norm-list(\mlambda{}x.x)  L


Date html generated: 2016_05_14-AM-07_41_18
Last ObjectModification: 2015_09_22-PM-05_53_56

Theory : list_1


Home Index