@phdthesis{oai:nagoya.repo.nii.ac.jp:00029985,
 author = {Saikawa, Takafumi and 才川, 隆文},
 month = {Apr},
 school = {名古屋大学, Nagoya University},
 title = {Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory},
 year = {2020}
}