Navigation Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 par Discipline "Informatique [cs]/Informatique et langage [cs.CL]"
Voici les éléments 21-40 de 60
-
On the Membership Problem for Non-Linear Abstract Categorial Grammars
(Journal of Logic, Language and Information. vol. 19, n° 2, pp. 163-183, 2010-04)Article de revue -
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 -
Towards a Computational Treatment of Binding Theory
Communication dans un congrès -
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 -
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars
(Journal of Logic, Language and Information. vol. 19, n° 2, pp. 185--200, 2010-04)Article de revue -
Towards a Logical Approach to Nominal Sentences Analysis in Standard Arabic
Communication dans un congrès -
Towards a Type-Theoretical Account of Lexical Semantics
(Journal of Logic, Language and Information. n° 19, pp. 229-245, 2010)Article de revue -
A Grammar Correction Algorithm – Deep Parsing and Minimal Corrections for a Grammar Checker
Communication dans un congrès -
Syntactic Descriptions: a Type System for Solving Matching Equations in the Linear lambda-Calculus.
Communication dans un congrès -
Parsing TAG with Abstract Categorial Grammar.
Communication dans un congrès -
A Montagovian Generative Lexicon
Communication dans un congrès -
A Montague-based model of Generative Lexical Semantics
Communication dans un congrès -
Parsing Corpus-Induced Type-Logical Grammars
Communication dans un congrès -
Text–sign parallel corpus study to start designing an automatic translation system
Communication dans un congrès -
Proof nets for display logic
Autre document