@article{CTT100846456,
  author = {Ryo Kashima and Naosuke Matsuda and Takao Yuyama},
  title = {Term-Space Semantics of Typed Lambda Calculus},
  journal = {Notre Dame Journal of Formal Logic Volume 61, Number 4, 2020},
  year = 2020,
}

@article{CTT100783329,
  author = {Ken-Etsu Fujita and Ryo Kashima and Yuichi Komori and Naosuke Matsuda},
  title = {Reduction Rules for Intuitionistic λρ-calculus},
  journal = {Studia Logica},
  year = 2015,
}

@misc{CTT100701338,
  author = {Naosuke Matsuda},
  title = {Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence},
  year = 2016,
}

@misc{CTT100701339,
  author = {Naosuke Matsuda},
  title = {Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence},
  year = 2016,
}

@misc{CTT100708755,
  author = {Naosuke Matsuda},
  title = {Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence},
  year = 2016,
}



@phdthesis{CTT100701338,
  author = {Naosuke Matsuda},
  title = {Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence},
  school = {東京工業大学},
  year = 2016,
}

@phdthesis{CTT100701339,
  author = {Naosuke Matsuda},
  title = {Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence},
  school = {東京工業大学},
  year = 2016,
}

@phdthesis{CTT100708755,
  author = {Naosuke Matsuda},
  title = {Lambda-Calculus: A Simplified Proof of the Church-Rosser Theorem and an Extension of the Curry-Howard Correspondence},
  school = {東京工業大学},
  year = 2016,
}