Researchers Information

Books, Original Papers & Review Papers
Research Institute of Electrical Communication
Systems & Software Division
Computing Information Theory
Assigned Class
Graduate School of Information Sciences
Department of Computer and Mathematical Sciences

Assistant Professor
Research Fields
  • Software
  • Fundamental informatics
display all
Academic Society Membership
  • 日本ソフトウェア科学会
  • 情報処理学会
display all
Original Papers

Confluence of Orthogonal Nominal Rewriting Systems Revisited.[Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA 2015),LIPIcs 36,(2015),301-317]Takaki Suzuki, Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

A Translation of Intersection and Union Types for the λμ-Calculus.[Proceedings of the 12th Asian Symposium on Programming Languages and Systems (APLAS 2014),LNCS 8858,(2014),120-139]Kentaro Kikuchi, Takafumi Sakurai

Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended λ-Calculus.[Proceedings of the 22nd Annual Conference of the European Association for Computer Science Logic (CSL 2013),LIPIcs 23,(2013),395-414]Kentaro Kikuchi

Call-by-Name Reduction and Cut-Elimination in Classical Logic.[Annals of Pure and Applied Logic,153(1-3),(2008),38-65]Kentaro Kikuchi

Strong Normalisation of Cut-Elimination that Simulates β-Reduction.[Proceedings of the 11th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2008),LNCS 4962,(2008),380-394]Kentaro Kikuchi, Stéphane Lengrand

display all
Honours, Awards and Prizes
  • 日本ソフトウェア科学会第21回研究論文賞(2017)
display all
Web Site
Updated on
copyright(c)2005 Tohoku University