2017-05-15から1日間の記事一覧

写像対象－カリー＝ハワード同型対応

７．９カリー＝ハワード同型対応世の中には、言い方は違っているのだが、同じことを言っているということが往々にしてある。前回の記事で、型定理と圏論は一対一に対応づけできると説明したが、その例の一つである。さらに、もう一つ対応するものがある。…