- Parametric polymorphism (Tutorial) (in Japanese),
Computer Software 20 (2003) pp. 59-78.
- 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.
- 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.
- Two applications of analytic functors,
Theoretical Computer Science 272 (2002) 113-175.
- 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.
- 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.
- 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.
- 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.
- Relational limits in general polymorphism,
Doctor Thesis, Kyoto University, 1992, also published in:
Publications of Research Institute for Mathematical Sciences
30 (1994) 535--576.
- 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.
- Categorical data types in parametric polymorphism,
Mathematical Structures in Computer Science 4 (1994) 71--109.
- Parametric polymorphism and internal
representations of recursive type definitions,
Master Thesis, Kyoto University, 1989.