Recherche
-
Construction et enrichissement automatique d'ontologie à partir de ressources externes
Communication dans un congrès -
A functional toolkit for morphological and phonological processing, application to a sanskrit tagger
(Journal of Functional Programming. vol. 15, n° 4, pp. 573--674, 2005)Article de revue -
Ludics and its Applications to natural Language Semantics
(Lecture Notes in Artificial Intelligence. vol. LNAI, n° 5514, pp. pp 242--255, 2009-06)Article de revue -
Langue des signes et schémas
(Revue TAL : traitement automatique des langues. vol. 48, n° 3, pp. 205--229, 2007)Article de revue -
On the trees underlying natural language sentences
Communication dans un congrès -
Intensional Models for the Theory of Types
(The Journal of Symbolic Logic. vol. 72, n° 1, pp. 98--118, 2007)Article de revue -
Separating Syntax and Combinatorics in Categorial Grammar
(Research on Language and Computation. vol. 5, n° 3, pp. 267--285, 2007)Article de revue -
Recognizability in the Simply Typed Lambda-Calculus
Communication dans un congrès -
Graph Algorithms for Improving Type-Logical Proof Search
Communication dans un congrès