2024-03-28T10:05:35Z
https://nagoya.repo.nii.ac.jp/oai
oai:nagoya.repo.nii.ac.jp:00029985
2023-01-16T04:22:06Z
697:765:766
Formalization of Equational Reasoning in the Set-Theoretic Interpretation of Type Theory
型理論の集合論的意味論を用いた等式変形証明法の形式化
Saikawa, Takafumi
才川, 隆文
open access
2020-04-30
eng
doctoral thesis
http://hdl.handle.net/2237/00032171
https://nagoya.repo.nii.ac.jp/records/29985
甲第13249号
博士(数理学)
2020-04-30
13901
名古屋大学
Nagoya University
https://nagoya.repo.nii.ac.jp/record/29985/files/k13249_abstract.pdf
application/pdf
91.1 kB
2020-07-29
https://nagoya.repo.nii.ac.jp/record/29985/files/k13249_review.pdf
application/pdf
185.2 kB
2020-07-29
https://nagoya.repo.nii.ac.jp/record/29985/files/k13249_thesis.pdf
application/pdf
602.0 kB
2020-07-29