, Hybrid Type Theory: A Quartet in Four Movements, Principia, pp.225-247, 2011.
DOI : 10.5007/1808-1711.2011v15n2p225
URL : https://doi.org/10.5007/1808-1711.2011v15n2p225
, Completeness in Hybrid Type Theory, Journal of Philosophical Logic, vol.57, issue.4, pp.209-238, 2014.
DOI : 10.2307/2275293
, A Road-Map on Complexity for Hybrid Logics, Computer Science Logic: 13th International Workshop, CSL'99 8th Annual Conference of the EACSL Madrid, Spain, pp.307-321, 1999.
DOI : 10.1007/3-540-48168-0_22
URL : https://hal.archives-ouvertes.fr/inria-00000337
, Hybrid logics, Handbook of Modal Logic of Studies in Logic and Practical Reasoning, pp.821-868, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00000307
, Coupling CCG and hybrid logic dependency semantics, Proceedings of the 40th Annual Meeting on Association for Computational Linguistics , ACL '02, pp.319-326, 2002.
DOI : 10.3115/1073083.1073137
URL : http://acl.ldc.upenn.edu/P/P02/P02-1041.pdf
, The lambda calculus, Logic and the Foundations of Mathematics, 1984.
, Frames, fields, and contrasts: New essays in semantic and lexical organization, pp.21-74
, Modal Logic and Attribute Value Structures, pp.19-65, 1993.
DOI : 10.1007/978-94-015-8242-1_2
URL : http://turing.wins.uva.nl/~carlos/hybrid/Papers/attribute.ps.Z
, Tableaux for Quantified Hybrid Logic, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, pp.38-52, 2002.
DOI : 10.1007/3-540-45616-3_4
URL : https://hal.archives-ouvertes.fr/inria-00100892
, Hybrid languages, Journal of Logic, Language and Information, vol.57, issue.3, pp.251-272, 1995.
DOI : 10.1007/978-94-009-6259-0_4
, Predicate Logic Unplugged, Proceedings of the Tenth Amsterdam Colloquium, 1995.
, Some Logical Aspects of Grammatical Structure, Structure of Language and its Mathematical Aspects: Proceedings of the Twelfth Symposium in Applied Mathematics, pp.56-68, 1961.
, 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.
URL : https://hal.archives-ouvertes.fr/inria-00100529
, Tree-Adjoining Grammars as Abstract Categorial Grammars, Proceedings of the Sixth International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+6), pp.145-150, 2002.
, Towards a Montagovian account of dynamics, Proceedings of Semantics and Linguistic Theory (SALT), 2006.
, On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms, Journal of Logic, Language and Information, vol.13, issue.4, pp.421-438, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00112956
, The case for case reopened, Grammatical Relations of Syntax and Semantics, pp.59-81, 1977.
, Model checking hybrid logics (with an application to semistructured data), Journal of Applied Logic, vol.4, issue.3, pp.279-304, 2006.
DOI : 10.1016/j.jal.2005.06.010
URL : https://doi.org/10.1016/j.jal.2005.06.010
, Intensional and Higher-Order Modal Logic, 1975.
, Frames and Concept Types, Studies in Linguistics and Philosophy, vol.94, 2014.
DOI : 10.1007/978-3-319-01541-5
, A Developed Analysis of Type Coercion Based on Type Theory and Conventionality, Type Theory and Lexical Semantics, ESSLLI 2015, 2015.
, Syntax-driven semantic frame composition in Lexicalized Tree Adjoining Grammars, Journal of Language Modelling, vol.1, issue.2, pp.267-330, 2013.
DOI : 10.15398/jlm.v1i2.61
URL : https://doi.org/10.15398/jlm.v1i2.61
, Progression and Iteration in Event Semantics -An LTAG Analysis Using Hybrid Logic and Frame Semantics, Colloque de Syntaxe et Sémantique à Paris hal open archive, p.1184872, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01184872
, Quantifiers in Frame Semantics, Formal Grammar, pp.69-85, 2014.
DOI : 10.1007/978-3-662-44121-3_5
, Scope and Situation Binding in LTAG Using Semantic Unification, Research on Language and Computation, vol.10, issue.4, pp.3-52, 2008.
DOI : 10.1075/z.35.09kro
URL : http://www.ling.upenn.edu/~sanguesa/papers/iwcs05romkallm-proceed.pdf
, The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.65, issue.3, pp.154-170, 1958.
DOI : 10.2307/2310058
, Expression de la dynamique du discours à l'aide de continuations, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00783245
, Evidence for frames from human language, pp.23-67, 2014.
, Frames and metonymy ? Shifting the center and refocusing the frame, Concept Types and Frames in Language, CTF14), invited talk, 2014.
, Temporal Ontology and Temporal Reference, Computational Linguistics, vol.14, issue.2, pp.15-28, 1988.
, The Proper Treatment of Quantification in Ordinary English, in Formal Philosophy: Selected Papers of Richard Montague Formal Semantics: The Essential Readings, 1974.
, Data Semantics and Linguistic Semantics The dynamic, inquisitive, and visionary life of ?, ??, and ??, chapter 24, Pumbo.nl, pp.175-183, 2013.
, Representation of Concepts as Frames The Baltic International Yearbook of Cognition, Logic and Communication, pp.151-170, 2007.
, Computing Semantic Representation: Towards ACG Abstract Terms as Derivation Trees, in Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms -TAG+7, pp.64-71, 2004.
, Lexicologie et sémantique lexicale, 2003.
, Lexicon, Generative, 1998.
DOI : 10.1016/B0-08-044854-2/01971-4
, Aspectual Coercion and Logical Polysemy, Journal of Semantics, vol.12, issue.2, pp.133-162, 1995.
DOI : 10.1093/jos/12.2.133
, The Complexity of Hybrid Logics over Restricted Classes of Frames, 2007.
, On the Complexity of Hybrid Logics with Binders Computer Science Logic: 19th International Workshop, 14th Annual Conference of the EACSL. Proceedings, pp.339-354, 1007.