Researchers Information
Photo



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

Title
Assistant Professor
Research Fields
  • Software
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
http://www.nue.riec.tohoku.ac.jp/user/kentaro/
Updated on
2017.10.08
JapaneseTop
copyright(c)2005 Tohoku University