入手文献名のみ、記しておきます。
- 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