Masako Takahashi

• Shimazaki Tōson
• Theories of types and proofs
• Tōson no kindai to kokugaku