■

• Dana Scott　　''Combinators and Classes,''　in: λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975, Springer, Lecture Notes in Computer Science, 37, 1975
• Ditto　　　　''Some Philosphical Issues Concerning Theories of Combinators,''　in: λ-Calculus and Computer Science Theory: Proceedings of the Symposium Held in Rome March 25–27, 1975, Springer, Lecture Notes in Computer Science, 37, 1975
• Susumu Hayashi and Satoshi Kobayashi　　''A New Formalization of Feferman's System of Functions and Classes and Its Relation to Frege Structure,''　in: International Journal of Foundations of Computer Science, vol. 6, no. 3, 1995
• 小川吉昭　　「「グレイの悲歌」解釈試論　ラッセルにおける表示について」、『県立広島大学人間文化学部紀要』、第6号、2011年
• ドミニック・ルクール　　『カンギレム　生を問う哲学者の全貌』、沢崎壮宏、竹中利彦、三宅岳史訳、文庫クセジュ 960, 白水社、2011年