Nuprl Definition : cbva-seq
cbva-seq(L;F;m) == callbyvalueall-seq(L;λx.x;F;0;m)
Definitions occuring in Statement :
callbyvalueall-seq: callbyvalueall-seq(L;G;F;n;m),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
callbyvalueall-seq: callbyvalueall-seq(L;G;F;n;m),
lambda: λx.A[x],
natural_number: $n
FDL editor aliases :
cbva-seq
Latex:
cbva-seq(L;F;m) == callbyvalueall-seq(L;\mlambda{}x.x;F;0;m)
Date html generated:
2016_05_15-PM-02_09_31
Last ObjectModification:
2015_09_23-AM-07_38_06
Theory : untyped!computation
Home
Index