カリー・ハワード対応で有名なハワードの論文を今更ながら読んでみたので簡単に解説する。この著作は1980年のカリーへの記念論文集で出版されているが元々は1969年にmanuscriptとして読まれ引用されていたものである。1980年版では1969年版(未読)にほとんど…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。