Logical Aspects of Computational Linguistics - selected papers from LACl'97

Alain Lecomte (1) , François Lamarche (1) , Guy Perrier (1)

1 CALLIGRAMME - Linear logic, proof networks and categorial grammars

This book constitutes the thoroughly refereed post-proceedings of the Second International Conference on Logical Aspects of Computational Linguistics, LACL '97, held in Nancy, France in September 1997. The 10 revised full papers presented were carefully selected during two rounds of reviewing. Also included are two comprehensive invited papers. Among the topics covered are type theory, various types of grammars,linear logic, parsing, type-directed natural language processing,proof-theoretic aspects, concatenation logics, and mathematical languages.

Mots clés: computational linguistics; grammaires catégorielles; categorial grammar; linguistique informatique

Domaines: Autre [cs.OH]

Alain Lecomte, François Lamarche, Guy Perrier. Logical Aspects of Computational Linguistics - selected papers from LACl'97. 2th International Conference on Logical Aspects of Computational Linguistics, LORIA, 1997, Nancy, France, 251 p. ⟨inria-00099010⟩