入手した文献名を記すのみとします。いずれも Illative Combinatory Logic 関係のものです。
- Henk Barendregt, Martin W. Bunder and Wil Dekkers “Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus,” in: The Journal of Symbolic Logic, vol. 58, no. 3, 1994
- M. W. Bunder “A Paradox in Illative Combinatory Logic,” in: The Notre Dame Journal of Formal Logic, vol. 11, no. 4, 1970
- Ditto “Propositional and Predicate Calculuses Based on Combinatory Logic,” in: The Notre Dame Journal of Formal Logic, vol. 15, no. 1, 1974
- F. Cardone and J. R. Hindley “The History of Lambda and Combinators,” forthcoming in D. M. Gabbay and J. Woods ed., Handbook of the History of Logic, Vol. 5, Elsevier
- 古森雄一 「汎用システムとしての「ラムダ計算+論理」」、『数理解析研究所講究録』、共同研究 算術体系の証明論、京都大学数理解析研究所、1533巻、2007年
- 同上 「「ラムダ計算+ 論理」の体系BCKβ での集合論のシミュレーション」、2007年度証明論研究集会、首都大学東京国際交流会館中会議室、2007年12月3日−4日
