M. Hepple. 1998. Memoisation for Glue Language Deduction and Categorial Parsing. Proceedings of the COLING-ACL'98 Joint Conference (The 17th International Conference on Computational Linguistics, and 36th Annual Meeting of the Association for Computational Linguistics). pp 538-544. Montreal, Canada. August 1998.

Abstract:

The multiplicative fragment of linear logic has found a number of applications in computational linguistics: in the `glue language' approach to LFG semantics, and in the formulation and parsing of various categorial grammars. These applications call for efficient deduction methods. Although a number of deduction methods for multiplicative linear logic are known, none of them are tabular methods, which bring a substantial efficiency gain by avoiding redundant computation (c.f. chart methods in CFG parsing): this paper presents such a method, and discusses its use in relation to the above applications.