■

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 logic Volume 1, North-Holland, Studies in logic and the foundations of mathematics series, 1958
• W. A. Howard　　“The Formulae-as-Types notion of Construction”,　in: J.P. Seldin, J.R. Hindley ed., To H.B. Curry : essays on combinatory logic, lambda calculus, and formalism, Academic Press, 1980

前者はCurry-Howard Correspondenceのprimitiveなideaが恐らく最初に現われた文献であり、後者はそれを拡張した有名な文献。
また気が向いたらぽつぽつ拾い読みしてみよう。