Inria / Raweb 2003
Project: calligramme

Linear Logic, Proof Nets and Categorial Grammars

• Members
• Overall Objectives
• Scientific Foundations
  • Introduction
  • Proof Nets, Sequent Calculus and Typed Lambda Calculi
  • Categorial Grammars and Dependency Grammars
  • Implicit Complexity of Computations
• Application Domains
  • Modelling the Syntax and Semantics of Natural Languages
  • Termination and complexity of programs
• Software
  • Leopar
  • XDG
  • Meta-grammar Workbench
  • Lexical Resources
• New Results
  • Proof Nets, Sequent Calculus and Typed Lambda Calculi
  • Categorial Grammars and Dependency Grammars
  • Implicit Complexity of computation
• Other Grants and Activities
  • Regional Actions
  • National Actions
  • European Actions
  • Visits and invitation of researchers
• Dissemination
  • Activism within the scientific community
  • Teaching
  • Academic Supervision
  • Thesis juries
  • Thesis defenses
  • Participation to colloquia, seminars, invitations
• Bibliography
  • Major publications
  • Year Publications
  • References in notes