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_37
Last ObjectModification:
2015_09_23-AM-07_38_07
Theory : untyped!computation
Home
Index