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
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00099010
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:41:21 AM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM

Identifiers

  • HAL Id : inria-00099010, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

73