"Ryo Kashima","A Proof of the Standardization Theorem in Lambda-Calculus",,"Research Reports on Mathematical and Computing Sciences, TIT",,"Vol. C-145",,,2000,
"Ryo Kashima","Completeness of Implicational Relevant Logics",,"Logic Journal of the IGPL",,"Vol. 8","No. 6","pp. 761-785",2000,