Proof-Theoretic Aspects of the Lambek-Grishin Calculus

Philippe De Groote 1
1 SEMAGRAMME - Semantic Analysis of Natural Language
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Type de document :
Communication dans un congrès
Valeria de Paiva; Ruy J. G. B. de Queiroz; Lawrence S. Moss; Daniel Leivant; Anjolina Grisi de Oliveira. Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. 9160, pp.109--123, 2015, Lecture Notes in Computer Science
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01188612
Contributeur : Philippe De Groote <>
Soumis le : lundi 31 août 2015 - 11:38:50
Dernière modification le : mardi 18 décembre 2018 - 16:38:01

Identifiants

  • HAL Id : hal-01188612, version 1

Collections

Citation

Philippe De Groote. Proof-Theoretic Aspects of the Lambek-Grishin Calculus. Valeria de Paiva; Ruy J. G. B. de Queiroz; Lawrence S. Moss; Daniel Leivant; Anjolina Grisi de Oliveira. Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. 9160, pp.109--123, 2015, Lecture Notes in Computer Science. 〈hal-01188612〉

Partager

Métriques

Consultations de la notice

166