Professor, Applied Mathematics and Informatics Course,

Ryukoku University.

Otsu, Shiga 520-2194, JAPAN

Research interests

• Logical aspects of computer programming
• Typed lambda calculi
• Mathematical logic
• Computer security

Papers

Teaching (in Japanese)

Software