Uniqueness of normal proofs in implicational intuitionistic logic, Journal of Logic, Language and Information, vol.8, issue.2, pp.217-242, 1999. ,
DOI : 10.1023/A:1008254111992
Towards a Type-Theoretical Account of Lexical Semantics, Journal of Logic, Language and Information, vol.12, issue.2, pp.229-245, 2011. ,
DOI : 10.1007/s10849-009-9113-x
URL : https://hal.archives-ouvertes.fr/inria-00408308
An extension of the basic functionality theory for the $\lambda$-calculus., Notre Dame Journal of Formal Logic, vol.21, issue.4, pp.685-693, 1980. ,
DOI : 10.1305/ndjfl/1093883253
Some logical aspects of grammatical structure, 1961. dG01. P. de Groote. Towards abstract categorial grammars, Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter Proceedings of the Conference, pp.148-155, 2001. ,
Parsing and generation as Datalog queries, Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics, pp.176-183, 2007. ,
Work presented at the logic seminar in NII, 2010. ,
Formal Philosophy: Selected Papers of Richard Montague, 1974. ,
Lambda Grammars and the Syntax-Semantics Interface, Proceedings of the Thirteenth Amsterdam Colloquium, pp.150-155, 2001. ,
New Directions in Type-Theoretic Grammars, Journal of Logic, Language and Information, vol.14, issue.2, pp.129-136 ,
DOI : 10.1007/s10849-009-9114-9
URL : http://dx.doi.org/10.1007/s10849-009-9114-9
Generation, Lambek calculus, Montague's semantics and semantic proof nets, Proceedings of the 18th conference on Computational linguistics -, 2000. ,
DOI : 10.3115/992730.992737
URL : http://acl.ldc.upenn.edu/C/C00/C00-2091.pdf
The gf resource grammar library Linguistic Issues in Language Technology, Sal05. S. Salvati.Probì emes de filtrage etprobì emes d'analyse pour les grammaires catégorielles abstraites, pp.1-63, 2005. ,
On the membership problem for non-linear abstract categorial grammars, Proceedings of the Workshop on New Directions in Type-theoretic Grammars Foundation of Logic, Language and Information (FoLLI), pp.43-50, 2007. ,
On the Membership Problem for Non-Linear Abstract Categorial Grammars, Ull88. J. Ullman. Principles of Database and Knowledge-Base Systems. Volume I. W. H, pp.163-183, 1988. ,
Linearization of affine abstract categorial grammars, Proceedings of the 11th Conference on Formal Grammar, pp.185-199, 2006. ,