2007-03-02から1日間の記事一覧

Curry-Howard Correspondenceに若干興味を抱き、以下の文献を入手。 Haskell B. Curry and Robert Feys “Chapter 9 Section E Analogies with Propositional Algebra”, in: Haskell B. Curry, Robert Feys, with two sections by William Craig, Combinatory…