カリー・ハワード対応

• 

  論理と圏論のオイシイ話

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

  2020年6月17日

  • おすすめイベント・ゼミ