Skip to content
- Theories of Computation Models, Iwanami Lecture Series of Software Science, Vol. 12, Iwanami Shoten, 386 pages, 1991
- New Trends of Programming Languages, Lecture Series in Computer Science/Software Engineering, Vol. 2, Kyoritu Publishing Co., 262 pages, 1988.
- Introduction to Models of Computation: From Turing Machine to Lambda Calculus, Saiensusha, 125 pages, 2006. (with M. Hamana)
- The Second Fuji International Workshop on Functional and Logic Programming, World Scientific, 1997. (with A. Ohori and M. Takeichi)Multi-Paradigm Logic Programming,
- Proceedings of the JICSLP96 Post-Conference Workshop, Technical University of Berlin, Report No. 96-28, 1996. (with M. Chakravarty and Y. Guo)Fuji International Workshop on Functional and Logic Programming, World Scientific, 1996. (with M. Takeichi)
- New Programming Paradigm- 2. Kyoritsu Publishing Co., 1990 (with Jiro Tanaka)New Programming Paradigm, Kyoritsu Publishing Co., 1989