Publications-books

Author

  1. Theories of Computation Models, Iwanami Lecture Series of Software Science, Vol. 12, Iwanami Shoten, 386 pages, 1991
  2. New Trends of Programming Languages, Lecture Series in Computer Science/Software Engineering, Vol. 2, Kyoritu Publishing Co., 262 pages, 1988.
  3. Introduction to Models of Computation: From Turing Machine to Lambda Calculus, Saiensusha, 125 pages, 2006. (with M. Hamana)

Editor

  1. The Second Fuji International Workshop on Functional and Logic Programming, World Scientific, 1997. (with A. Ohori and M. Takeichi)Multi-Paradigm Logic Programming,
  2. 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)
  3. New Programming Paradigm- 2. Kyoritsu Publishing Co., 1990 (with Jiro Tanaka)New Programming Paradigm, Kyoritsu Publishing Co., 1989