2010-02-14から1日間の記事一覧

古典論理のカリー・ハワード対応での証明の書き換えと簡約

数学プログラミング

「古典論理のカリー・ハワード対応のためのラムダ計算」のつづき。