, il est possible d'associer un type linéaire implicatif de T (A) à tout terme de ?(?) Cette affectation de type est régie par un système d'inférence dont les jugements sont des séquents de la forme ? ? ? t : ?, avec : 1. ? un ensemble fini de déclarations de types de variables de la forme x : ?, avec x ? X et ? ?, chaque variable apparaissant au plus une fois
, An aspectual classification of polish verbs », Unpublished manuscript, 2007.
, An efficient graph algorithm for dominance constraints, Journal of Algorithms, vol.48, issue.1, pp.194-219, 2003.
DOI : 10.1016/S0196-6774(03)00050-6
URL : https://hal.archives-ouvertes.fr/inria-00536539
, LASCARIDES ? Logics of conversation, 2003.
, Informal lectures on formal semantics, 1989.
, SHAMIR ? « On categorial and phrase structure grammars, Bulletin of the Research Council of Israel, vol.9, pp.1-11, 1960.
, VENEMA ? Modal logic, 2001.
, BOS ? Representation and inference for natural language. A first course in computational semantics, CSLI, 2005.
, BOS ? Representation and inference for natural language, 2005.
, HINDERER ? « Generating models for temporal representations, Proceedings of the international conference on Recent Advances in Natural Language Processing, pp.69-75, 2007.
, HINDERER ? « From TYn to DRT : an implementation », 3rd International Language & Technology Conference -L&TC'07 (Poznam Pologne), pp.384-388, 2007.
, PINKAL ? « A Compositional DRS-based Formalism for NLP Applications, Proceedings of the First International Workshop on Computational Semantics (H. Bunt, R. Muskens et G. Rentier, 1994.
, Towards wide-coverage semantic interpretation, Proceedings of Sixth International Workshop on Computational Semantics, pp.42-53, 2005.
, MARKERT ? « When logical inference helps determining textual entailment (and when it doesn't), Proceedings of the Second Challenge Workshop on Recognizing Textual Entailment, 2006.
, Binding theory, Cambridge Textbooks in Linguistics, 2005.
, A formulation of the simple theory of types, The Journal of Symbolic Logic, vol.1, issue.02, pp.56-68, 1940.
DOI : 10.2307/2371199
, SAG ? « Translation using Minimal Recursion Semantics », TMI-95, Proceedings of the Sixth International Conference on Theoretical and Methodological Issues in Machine Translation, pp.15-32, 1995.
, HUET ? « The calculus of constructions, Information and Computation, vol.76, 1988.
, Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, Indagationes Mathematicae, vol.34, pp.381-392, 1972.
, Tree-adjoining grammars as abstract categorial grammars, Proceedings of the Sixth International Workshop on Tree Adjoining Grammars and Related Frameworks, pp.145-150, 2003.
, The curry-howard isomorphism, Cahiers du Centre de Logique, 1995.
, Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.148-155, 2001.
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529
, Towards a Montagovian Account of Dynamics », Semantics and Linguistic Theory XVI, to appear, 2006.
, On the Expressive Power of Abstract Categorial Grammars: Representing Context-Free Formalisms, Journal of Logic, Language and Information, vol.223, issue.4, pp.421-438, 2004.
DOI : 10.1007/s10849-004-2114-x
URL : https://hal.archives-ouvertes.fr/inria-00112956
, ?-Normal forms in an intensional logic for English, Studia Logica, vol.20, issue.2-3, pp.311-324, 1979.
DOI : 10.1007/BF00370327
, Intentional and higher-order modal logic, 1975.
, STOKHOF ? « Studies in the semantics of questions and the pragmatics of answers, Thèse, 1984.
, Questions and answers : Semantics and logic, Proceedings of the 2nd CologNET-ElsET Symposium (M. M. R. Bernardi, 2003.
, Towards a computational theory of pragmatics ? discourse, presupposition, and implicature, Thèse, 1981.
, The semantics of definite and indefinite noun phrases, Thèse, 1982.
, KRATZER ? Semantics in Generative Grammar, 1998.
, Completeness in the theory of types, The Journal of Symbolic Logic, vol.14, issue.02, pp.81-91, 1950.
DOI : 10.1007/BF01696781
, Making computational sense of Montague's intensional logic, Artificial Intelligence, vol.9, issue.3, pp.287-306, 1978.
DOI : 10.1016/0004-3702(77)90025-X
, Theory of Truth and Semantic Representation », Truth, Interpretation and Information: Selected Papers from the Third Amsterdam Colloquium, Foris, pp.1-41, 1984.
, REYLE ? From discourse to logic, 1993.
DOI : 10.1007/978-94-011-2066-1
, Bridging the gap between underspecification formalisms, Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics , EACL '03, pp.195-202, 2003.
DOI : 10.3115/1067807.1067834
URL : https://hal.archives-ouvertes.fr/inria-00536542
, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-169, 1958.
DOI : 10.2307/2310058
, On the calculus of syntactic types », Structure of Language and its Mathematical Aspects (R. Jakobsen, éd, Providence, pp.166-178, 1961.
, Categorial and categorical grammars », Categorial Grammars and Natural Language (B. Oehrle et Wheeler, Reidel, pp.297-317, 1988.
DOI : 10.1007/978-94-015-6878-4_11
, Machine translation based on logically isomorphic Montague grammars, Proceedings of the 9th conference on Computational linguistics -, 1982.
DOI : 10.3115/991813.991841
URL : http://acl.ldc.upenn.edu/C/C82/C82-1028.pdf
, Programmation fonctionnelle certifiée ? l'extraction de programmes dans l'assistant Coq, Thèse, 2004.
, Natural" Language Question- Answering Programs, American Journal of Computational Linguistics, vol.9, issue.1, pp.11-21, 1983.
, On the Nature of Certain Philosophical Entities, Monist, vol.53, issue.2, pp.159-194, 1969.
DOI : 10.5840/monist19695327
, Pragmatics and intensional logic, Synthese, vol.16, issue.1-2, pp.68-94, 1970.
DOI : 10.1007/BF00413599
, Universal grammar, Theoria, vol.26, issue.3, pp.373-398, 1970.
DOI : 10.1111/j.1755-2567.1970.tb00434.x
, The Proper Treatment of Quantification in Ordinary English », Approaches to Natural Language, J. Hintikka, J. Moravcsik et P. Suppes, pp.247-270, 1973.
, Selected papers of Richard Montague. Edited and with an introduction by, 1974.
, Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, pp.143-186, 1996.
DOI : 10.1007/BF00635836
, Tense and the logic of change », Lexical Knowledge in the in the Organisation of Language, Benjamins, pp.147-183, 1995.
, Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, pp.143-186, 1996.
DOI : 10.1007/BF00635836
, Term-labeled categorial type systems, Linguistics and Philosophy, vol.67, issue.4, pp.633-678, 1994.
DOI : 10.1007/BF00985321
, Some 3-Dimensional Systems of Labelled Deduction, Logic Journal of IGPL, vol.3, issue.2-3, pp.429-488, 1995.
DOI : 10.1093/jigpal/3.2-3.429
, The Development of Formal Semantics in Linguistic Theory », The Handbook of Contemporary Semantic Theory (S. Lappin, éd, pp.11-38, 1997.
, Inductive definitions in the system Coq rules and properties, Proceedings of the conference Typed Lambda Calculi and Applications, pp.92-141, 1993.
DOI : 10.1007/BFb0037116
, Exploring a type-theoretic approach to accessibility constraint modelling, Actes du colloque Journées sémantique et modélisation (P. M. Nicholas Asher et L. Roussarie, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00281381
, Problèmes de filtrage et problèmes d'analyse pour les Grammaires Catégorielles Abstraites, Thèse, Institut National Polytechnique de Lorraine, 2005.
, On the Membership Problem for Non-Linear Abstract Categorial Grammars, Proceedings of New Directions in Type-theoretic Grammars (R. Muskens, 2007.
DOI : 10.1007/s10849-009-9110-0
URL : https://hal.archives-ouvertes.fr/hal-00306230
, Context-Free Computation of 'Conventional' Logical Translation, Computational Linguistics, vol.8, issue.1, pp.26-44, 1982.
, PITTS ? « Fresh Objective Caml user manual, 2005.
, Wahrheitsbegriff in den formalisierten Sprachen (German translation of a book in Polish, 1933), pp.261-405, 1935.