Inria
/
Raweb 2009
Presentation of the Project Calligramme
Logo Inria
Calligramme
Linear Logic, Proof Nets and Categorial Grammars
2009 Research Team Activity Report
Nancy - Grand Est
Area :
Perception, Cognition, Interaction
Theme : Audio, Speech, and Language Processing
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
Application Domains
Modelling the Syntax and Semantics of Natural Languages
Software
Leopar
ACG support system
New Results
Proof Nets, Sequent Calculus and Typed Lambda Calculi
Categorial Grammars
Development of linguistic resources
Other Grants and Activities
National Actions
International Actions
Visits and invitation of researchers
Dissemination
Activism within the scientific community
Teaching
Academic Supervision
Participation to colloquia, seminars, invitations
Bibliography
Major publications
Publications of the year
References in notes