3.3.2
Специализатор
Spec
{
(e
F
) (e
A
) = <Scp
Fspec
{
}
e
B
= <F (
e
A
) (e
Y
)>;
F
e
F
>;
}
Scp
{
}
e
R
= ...
...
Spec
{
(e
F
) (e
A
) =
<Scp
__
e
F
_
e
A
_____
__
>;
<
·
·
( e
Y
)
>
}
<
F
(
X
)
(
Y
)>
=
<<Spec
(
F
)
(
X
)>
(
Y
)>
=
<
Fspec
(
Y
)>
<Spec (
F
) (
X
)>
Þ
Fspec