Navigation Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 par Discipline "Mathématiques [math]/Logique [math.LO]"
Voici les éléments 1-10 de 10
-
Ludique : une logique sans axiome d'identité
(2008-11)Document de travail - Pré-publication -
Un sens logique pour les graphes sémantiques
Communication dans un congrès -
Categorial Minimalist Grammar: From Generative Syntax To Logical Form
(Linguistic Analysis. vol. 36, n° 1--4, pp. 273--306, 2010-12)Article de revue -
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 -
Intensional Models for the Theory of Types
(The Journal of Symbolic Logic. vol. 72, n° 1, pp. 98--118, 2007)Article de revue -
Proof nets without links for Lambek calculus and partially commutative linear logic
Communication dans un congrès -
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
Communication dans un congrès -
On the system F as a glue language for natural-language compositional-semantics
(2011-08-24)Document de travail - Pré-publication -
Quantification and interaction
Communication dans un congrès -
Specimens: "most of" generic NPs in a contextually flexible type theory
Communication dans un congrès