論理と圏論のオイシイ話

“カリー・ハワード対応”の関連記事

  • ロマ数トレラン

    2020/06/17

    論理と圏論のオイシイ話

    ※本記事はロマ数トレラン「カリー・ハワード対応から見る『プログラミング言語、論理システム、圏』」の講師である檜山正幸先生によるカリー・ハワード対応の入 …