Ryukoku University · Faculty of Advanced Science and Technology · 教授

Research keywords計算機科学・構成的プログラミング、型理論、λ計算・オブジェクト指向プログラミングの論理・プログラミングに現れる論理構造の解析・Computer Science

Research fields情報科学・Complex systems・計算機科学

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• Inhabitation of polymorphic and existential types
• The Non-deterministic Catch and Throw Mechanism and Its Subject Reduction Property
• Logical Structures of the Catch and Throw Mechanism
• A modal typing system for self-referential programs and specifications

• 構成的プログラミングの新局面の研究

• Official profile
• KAKEN