検索結果- 英語 - 英語
検索内容:
conversion disorder
noun
conversion rate
noun
conversion van
noun
type conversion
noun
conversion course
noun
deathbed conversion
noun
alpha conversion
noun
(computing
theory)
One
of
the
three
rewrite
rules
of
lambda
calculus,
in
which
a
bound
variable
of
a
lambda
term
is
replaced
by
another
variable
across
its
entire
scope.
So
if
there
is
a
lambda
term
of
the
form
(𝜆x.t)
and
it
is
desired
to
have
x
replaced
with
y,
then
the
rewritten
lambda
term
would
have
the
form
(𝜆y.t[y/x])
where
t[y/x],
"t
with
y
instead
of
x",
has
had
all
free
instances
of
x
in
t
replaced
with
y.
loading!
Loading...