Inria
/
Raweb 2006
Presentation of the Project Calligramme
Logo Inria
Calligramme
Linear Logic, Proof Nets and Categorial Grammars
2006 Research Team Activity Report
Theme :
SYM
Presentation of the Project-Team
- Activity Report in
PDF
or
XML
format
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
ACG support system
Crocus
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
Visits and invitation of researchers
Dissemination
Activism within the scientific community
Teaching
Academic Supervision
Thesis juries
Participation to colloquia, seminars, invitations
Bibliography
Major publications
Publications of the year
References in notes