Inria / Raweb 2005
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
  • Implicit Complexity of Computations
• Application Domains
  • Modelling the Syntax and Semantics of Natural Languages
  • Termination and complexity of programs
• Software
  • Leopar
  • XMG
  • Linguistic Resource Development
  • ACG related software
• New Results
  • Proof Nets, Sequent Calculus and Typed Lambda Calculi
  • Categorial Grammars
  • Development of linguistic resources
  • 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
  • Publications of the year
  • References in notes