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

@misc{CTT100885120,
  author = {Takao Yuyama},
  title = {Computation Theory and Abstract Algebra},
  year = 2023,
}

@misc{CTT100886288,
  author = {Takao Yuyama},
  title = {Computation Theory and Abstract Algebra},
  year = 2023,
}

@misc{CTT100903094,
  author = {Takao Yuyama},
  title = {Computation Theory and Abstract Algebra},
  year = 2023,
}



@phdthesis{CTT100885120,
  author = {Takao Yuyama},
  title = {Computation Theory and Abstract Algebra},
  school = {東京工業大学},
  year = 2023,
}

@phdthesis{CTT100886288,
  author = {Takao Yuyama},
  title = {Computation Theory and Abstract Algebra},
  school = {東京工業大学},
  year = 2023,
}

@phdthesis{CTT100903094,
  author = {Takao Yuyama},
  title = {Computation Theory and Abstract Algebra},
  school = {東京工業大学},
  year = 2023,
}