"鹿島亮","Semilattice Relevant Logics について","日本数学会2001年度秋季総合分科会数学基礎論分科会","アブストラクト集",,,,"pp. 6-7",2001,Oct.
"Ryo Kashima","Proof Theoretical Studies on Semilattice Relevant Logics",,"Research Reports on Mathematical and Computing Sciences, TIT",,"Vol. C-157",,,2001,
"Ryo Kashima","On the Standardization Theorem for Lambda-Beta-Eta-Calculus","International Workshop on Rewriting in Proof and Computation (RPC'01)","Proceedings",,,,"pp. 119-129",2001,