Per Martin-Löf, "Intuitionistic Type Theory", 1984の「判断の形式の解釈」「命題」の章を読んで訳したり考えたりしています。 判断の形式の解釈(Explanations of the forms of judgements) canonical、equality、computation 解釈とは 解釈と訳したのは…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。