カリー／ハワード対応には、ある種の主張が伴います。その主張とは次のようなタイプのものです。 歴史的に別々に発展してきた異なる分野が扱っている概念的対象物が、実は同じものだ。 複数の分野のあいだの同型性を主張してるんですね。そんな同型を与える…