@inproceedings{CTT100455783,
  author = {鹿島亮},
  title = {Semilattice Relevant Logics について},
  booktitle = {アブストラクト集},
  year = 2001,
}

@inproceedings{CTT100455782,
  author = {Ryo Kashima},
  title = {On the Standardization Theorem for Lambda-Beta-Eta-Calculus},
  booktitle = {Proceedings},
  year = 2001,
}

@misc{CTT100459747,
  author = {Ryo Kashima},
  title = {Proof Theoretical Studies on Semilattice Relevant Logics},
  year = 2001,
}