Logical Aspects of Computational Linguistics

Second International Conference, LACL'97 Nancy, France, September 22-24, 1997 Selected Papers

  • Alain Lecomte
  • François Lamarche
  • Guy Perrier
Conference proceedings LACL 1997

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1582)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 1582)

Table of contents

  1. Front Matter
    Pages i-xi
  2. Invited papers

    1. J. Lambek
      Pages 1-27
    2. Denis Bouchard
      Pages 28-53
  3. Selected papers

  4. Back Matter
    Pages 251-251

About these proceedings


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.


Computational Linguistics Grammar Systems Linear Logic Parsing Type Theory linguistics logic natural language

Editors and affiliations

  • Alain Lecomte
    • 1
  • François Lamarche
    • 2
  • Guy Perrier
    • 2
  1. 1.Université Pierre Mendès France (Grenoble 2)Grenoble CedexFrance
  2. 2.LORIA (Nancy)Villers lès Nancy CedexFrance

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1999
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-65751-4
  • Online ISBN 978-3-540-48975-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software