Nuprl Definition : callbyvalue
3,21
postcript
pdf
callbyvalue(
a
;
x
.
B
(
x
)) is Primitive
latex
FDL editor aliases
callbyvalue
origin