■

入手文献名のみ、記しておきます。

• J. Lambek　　“Programs, Grammars and Arguments: A Personal View of Some Connections between Computation, Language and Logic,”　in: The Bulletin of Symbolic Logic, vol. 3, no. 3, 1997
• Lars Birkedal　　“A General Notion of Realizability,”　in: The Bulletin of Symbolic Logic, vo. 8, no. 2, 2002
• Jean-Yves Girard　　“From Foundations to Ludics,”　in: The Bulletin of Symbolic Logic, vol. 9, no. 2, 2003
• Noson S. Yanofsky　　“A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points,”　in: The Bulletin of Symbolic Logic, vol. 9, no. 3, 2003
• Kosta Došen　　“Identity of Proofs Based on Normalization and Generality,”　in: The Bulletin of Symbolic Logic, vol. 9, no. 4, 2003