■

• Greg Restall “[Review of] R. Brady, Universal logic, CSLI Lecture Notes, Number 109, CSLI Publications, Stanford, 2006. xii + 346 pp.,”　in: The Bulletin of Symbolic Logic, vol. 13, no. 4, 2007
• Yuichi Komori　　“Logic Based on Combinators,”　in: Bulletin of the Section of Logic, Department of Logic, University of Lodz, vol. 18, no. 3, 1989. 2005 Reedited Version
• 鹿島亮　　『 C 言語による計算の理論』、Computer Science Library 4、サイエンス社、2008年
• 萩谷昌己　　「証明を型にはめれば」、from Author's HP