\begin{thebibliography}{�ÐX01}

\bibitem[Hin97]{Hindley2}
J.~Roger Hindley.
\newblock {\em Basic Simple Type Theory}, Vol.~42 of {\em Cambridge Tracts in
  Theoretical Computer Science}.
\newblock Cambridge University Press, 1997.

\bibitem[HS86]{Hindley}
J.~Roger Hindley and Jonathan~P. Seldin.
\newblock {\em Introduction to combinators and $\lambda$--calculus}, Vol.~1 of
  {\em London Mathematical Society Student Texts}.
\newblock Cambridge University Press, 1986.

\bibitem[�ÐX01]{komori01}
�ÐX�Y��.
\newblock �ÓT�_���̎��R���_�̌n.
\newblock  ��b�_����ї��j���ȉ� �u���A�u�X�g���N�g, pp. 14--15, ��B��w,
  2001.
\newblock http://www.math.s.chiba-u.ac.jp/\~{}komori/gakkai01-10/.

\end{thebibliography}
