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