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

古典論理のカリー・ハワード対応のためのラムダ計算

数学プログラミング

「call/ccと古典論理のカリー・ハワード対応」では、型付きラムダ計算にcall/ccを追加して古典論理との対応づけをしたけど、公理の追加ではなく推論規則を追加する形で古典論理との対応づけをしたい。