A course given with Gérard HUET (Research Director at INRIA) at ESSLLI 2002

(Trento, Italy)

Survey of a few Fundamental Representation Structures for Computational Linguistics
G. Huet and A. Lecomte

Section: Language & Computation
Level: Advanced
Course type: 1 week
Time: 1st week, 17.00-18.30

Lecturers

Gerard Huet
INRIA
Le Chesnay (France)
Gerard.Huet@inria.fr
http://pauillac.inria.fr/~huet

Alain Lecomte
Alain.Lecomte@upmf-grenoble.fr


see G. Huet's part on his site : the Zen Computational Linguistic Toolkit

see also the Sanskrit Library Documentation

Contents of A. Lecomte's part:

1- Problems of the Syntax-Semantics Interface:

a- Montague Grammars and Phrase Grammars

b- Categorial Grammars and the Curry-Howard homomorphism

2- the Proof-Net approach

3- Proof-Nets and Semantics

4- Extensions of Lambek Grammars : multi-modal categorial grammars and their PNs

5- Other extensions: minimalist grammars and their logical formulation