ちょっと気になったので調べてみました。 とりあえず、以下の論文が有用な情報源になりました。 History of Lambda-calculus and Combinatory Logic http://www-maths.swan.ac.uk/staff/jrh/papers/JRHHislamWeb.pdf これによると、RussellとWhiteheadのクラ…