Nuprl Definition : has-value
3,21
postcript
pdf
has-value(
a
) == callbyvalue(
a
;
a
.0) = 0
latex
clarification:
has-value(
a
) == callbyvalue(
a
;
a
.0) = 0
latex
Definitions
s
=
t
,
,
callbyvalue(
a
;
x
.
B
(
x
))
,
#$n
FDL editor aliases
has-value
origin
