Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base
Cette thèse étudie la construction automatique de représentations sémantiques comme lambda-termes simplement typés. Nous introduisons la sémantique formelle et computationnelle et présentons une tentative de construction sémantique à l'aide d'outils d'inférence. Nous expliquons les li...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2008NAN10089/document |