Réseaux de preuve et génération pour les grammaires de types logiques
L'étude de la relation entre syntaxe et sémantique qu'établissent les grammaires de types<br />logiques a essentiellement privilégié le sens de l'analyse - syntaxe vers sémantique. Cette thèse souligne le profit que la génération - sémantique vers syntaxe - tire de l'étroit...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
Institut National Polytechnique de Lorraine - INPL
2001
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00112982 http://tel.archives-ouvertes.fr/docs/00/11/29/82/PDF/A01-T-422.pdf |