Systèmes de types pour la (lambda-)DRT ascendante
Pascal Amsili, Nabil Hathout
Résumé : Le terme de lambda-DRT désigne un ensemble de méthodes permettant de construire des représentations sémantiques (DRS) à partir d’arbres syntaxiques. La mise en oeuvre de telles méthodes nécessite l’élaboration de systèmes de types dont le détail est rarement présenté. C’est à la description d’un tel système que cet article est consacré.