Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets

Sylvain Pogodalla 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : N.A.
Mots-clés : génération réseaux de démonstration sémantiques semantic proof nets lambek calculus calcul de lambek
Type de document :
Communication dans un congrès
Martin Kay. Proceedings of the 18th International Conference on Computational Linguistics (COLING 2000), Aug 2000, Sarrebrück, Germany. 2, pp.628-634, 2000, 〈http://www.aclweb.org/anthology-new/C00-2091〉
Liste complète des métadonnées
https://hal.inria.fr/inria-00099269
Contributeur : Sylvain Pogodalla <>
Soumis le : mardi 26 septembre 2006 - 08:52:17
Dernière modification le : mardi 30 janvier 2018 - 10:49:53

Identifiants

  • HAL Id : inria-00099269, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Sylvain Pogodalla. Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets. Martin Kay. Proceedings of the 18th International Conference on Computational Linguistics (COLING 2000), Aug 2000, Sarrebrück, Germany. 2, pp.628-634, 2000, 〈http://www.aclweb.org/anthology-new/C00-2091〉. 〈inria-00099269〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

85

Contact


archive-ouverte@inria.fr