Inria / Raweb 2004
Project-Team: CALLIGRAMME

Search in Activity Report, year 2004:
HELP

INDEX

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.


previous
next