1. Parametric polymorphism (Tutorial) (in Japanese), Computer Software 20 (2003) pp. 59-78.
  2. Embedding into wreath product and Yoneda lemma, in: Algebra, Logic and and Geometry in Informatics, Y. Kinoshita, ed., Surikaiseki Kenkyusho Kokyuroku 1318, (Reserach Institute for Mathematical Sciences, Kyoto University, 2003) pp. 150-159.
  3. Transducers as discrete twiners, in: Sequent Calculi and Proof Theory, R. Kashima, ed., Surikaiseki Kenkyusho Kokyuroku 1301, (Reserach Institute for Mathematical Sciences, Kyoto University, 2003) pp. 55-68.
  4. Two applications of analytic functors, Theoretical Computer Science 272 (2002) 113-175.
  5. An analysis of divisibility orderings and recursive path orderings, in: Advances in Computing Science - ASIAN'97, R. K. Shyamasundar, K. Ueda, eds., Kathmandu, Nepal, 1997, Lecture Notes in Computer Science 1345 (Springer, 1997) pp. 283-296.
  6. The generating functions of lambda terms (extended abstract), in: Combinatorics, Complexity & Logic, Proceedings of DMTCS '96, D. S. Bridges, C. S. Claude, J. Gibbons, S. Reeves, I. H. Witten, eds., (Springer, 1997) pp. 253-263.
  7. A logical aspect of parametric polymorphism, in: Computer Science Logic, 9th International Workshop CSL'95, H. K. Buning, ed., Paderborn, Germany, 1995, Lecture Notes in Computer Science 1092, (Springer, 1995) pp. 291-307.
  8. Well-ordering of algebras and Kruskal's theorem, in: Logic, Language and Computation, Festschrift in Honor of Satoru Takasu, N. D. Jones, M. Hagiya, M. Sato, eds., Lecture Notes in Computer Science 792, (Springer, 1994) pp. 133-172.
  9. Relational limits in general polymorphism, Doctor Thesis, Kyoto University, 1992, also published in: Publications of Research Institute for Mathematical Sciences 30 (1994) 535--576.
  10. Parametricity of extensionally collapsed term models of polymorphism and their categorical properties, in: Theoretical Aspects of Computer Software, Sendai, Japan, Sept. 1991, Lecture Notes in Computer Science 526, (Springer, 1991) pp. 495-512.
  11. Categorical data types in parametric polymorphism, Mathematical Structures in Computer Science 4 (1994) 71--109.
  12. Parametric polymorphism and internal representations of recursive type definitions, Master Thesis, Kyoto University, 1989.