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.
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

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〉

Partager

Métriques

Consultations de la notice

90