## Project-Team : calligramme

## Section: Overall Objectives

**Keywords: ***linear logic sequent calculus*, *proof nets*, *categorial grammar*, *syntactic analysis of natural languages*, *semantics of natural
languages*, *lambda calculus*, *type theory*, *implicit complexity*.

Project-team Calligramme's aim is the development of tools and methods that stem from proof theory, and in particular, linear logic. Two fields of application are emphasized: in the area of computational linguistics, the modelling of the syntax and semantics of natural languages; in the area of software engineering the study of the termination and complexity of programs.