[Japanese/English]

Research Topics

• Programming Logic, Lambda Calculi, Type Theory
• Program Extraction from Proofs (Constructive Programming)
• Theorem Proving and Program Verification
• Model Checking

Papers

For Kameyama's recent papers, see his page.

Programming Logic Group Homepage

�@