@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,
}