A. H. Abdelaziz, Uncertainty propagation through deep neural networks, Interspeech 2015, pp.1162550-117, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01162550

A. Abeillé, L. Clément, and F. Toussenel, Building a Treebank for French, p.25, 2003.
DOI : 10.1007/978-94-010-0201-1_10

A. Abeillé and B. Crabbé, Vers un treebank du français parlé, Traitement Automatique des Langues Naturelles (TALN). Les Sables d, pp.174-187, 2013.

S. Afantenos, An empirical resource for discovering cognitive principles of discourse organisation : the ANNODIS corpus (regular paper) . In : Language Resources and Evaluation Conference (LREC) Sous la dir. de Nicoletta Calzolari, elra.info : European Language Resources Association (ELRA), (on line) (cf, p.125, 2012.

K. Ajdukiewicz, Logika pragmatyczna, p.16, 1967.

J. F. Allen, Maintaining knowledge about temporal intervals, Communications of the ACM, vol.2611, pp.832-843, 1983.

M. Amblard, Calculs de représentations sémantiques et syntaxe générative : les grammaires minimalistes catégorielles Université Sciences et Technologies -Bordeaux I. hal archive ouverte : tel-00185844 (cf, Thèse de doct, pp.31-32, 2007.

B. Amblard and M. , La non-commutativité comme argument linguistique : modéliser la notion de phase dans un cadre logique, pp.91-115, 2015.

M. Amblard, . Et-karën, and . Fort, Étude quantitative des disfluences dans le discours de schizophrènes : automatiser pour limiter les biais, TALN -Traitement Automatique des Langues Naturelles, pp.292-303, 2014.

M. Amblard, K. Fort, and C. Demily, Analyse lexicale outillée de la parole transcrite de patients schizophrènes, Traitement Automatique des Langues. Natural Language Processing and Cognition 55, pp.91-115, 2015.

M. Amblard, K. Fort, and M. Musiol, L'impossibilité de l'anonymat dans le cadre de l'analyse du discours, Journée ATALA éthique et TAL, pp.1079308-118, 2014.

M. Amblard, A. Lecomte, and C. Retoré, Categorial Minimalist Grammar : From Generative Syntax To Logical Form, Linguistic Analysis 36.1? 4, pp.273-306, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00545748

M. Amblard, M. Musiol, and M. Rebuschi, Une analyse basée sur la S-DRT pour la modélisation de dialogues pathologiques, pp.6-00601622, 2011.

M. Amblard, . Et-sylvain, and . Pogodalla, Modeling the Dynamic Effects of Discourse : Principles and Frameworks In : Dialogue, Rationality, and Formalism. Sous la dir. de Manuel Rebuschi et al. T. 3. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics. Logic, Argumentation & Reasoning, pp.247-282, 2014.

M. Amblard and C. Retoré, Partially Commutative Linear Logic and Lambek Caculus with Product : Natural Deduction, Normalisation, Subformula Property, In : IfColog Journal of Logics and their Applications (FLAP), vol.11, pp.53-94, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01071642

A. Aronson, MetaMap -A Tool For Recognizing UMLS Concepts in Text, 2014.

N. Asher, Reference to Abstract Objects in Discourse : A Philosophical Semantics for Natural Language Metaphysics, 1993.
DOI : 10.1007/978-94-011-1715-9

N. Asher and A. Lascarides, The semantics and pragmatics of presupposition, Journal of Semantics, vol.15, issue.3, pp.239-299, 1998.
DOI : 10.1093/jos/15.3.239

N. Asher and S. Pogodalla, A Montagovian Treatment of Modal Subordination In : Proceedings of Semantics and Linguistic Theory (SALT) 20, pp.387-405, 2010.

E. Bach, Natural Language Metaphysics, Studies in Logic and the Foundations of Mathematics 114, pp.573-595, 1986.
DOI : 10.1016/s0049-237x(09)70714-1

J. Baldridge and A. Lascarides, Probabilistic head-driven parsing for discourse structure, Proceedings of the Ninth Conference on Computational Natural Language Learning, CONLL '05, pp.96-103, 2005.
DOI : 10.3115/1706543.1706560

URL : http://acl.ldc.upenn.edu/W/W05/W05-0613.pdf

Y. Bar-hillel, A Quasi-Arithmetical Notation for Syntactic Description, Language, vol.29, issue.1, pp.47-58, 1953.
DOI : 10.2307/410452

C. Barker, Continuations and the nature of quantification In : Natural language semantics 10, 2002.

C. Barras, Transcriber : a Free Tool for Segmenting, Labeling and Transcribing Speech, International Conference on Language Resources and Evaluation (LREC). Granada, pp.1373-1376, 1998.

L. W. Barsalou, Frames, concepts, and conceptual fields In : Frames, Fields and Contrasts. New Essays in Semantic and Lexical Organization, 1992.

J. Barwise, Noun Phrases, Generalized Quantifiers and Anaphora, p.26, 1987.
DOI : 10.1007/978-94-009-3381-1_1

D. Beaver and . Ian, Presupposition*, pp.939-1008, 1997.
DOI : 10.1016/B978-044481714-3/50022-9

J. Benthem and . Van, The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse. T. 156, p.24, 2013.

C. Benzitoun, K. Fort, and B. Sagot, TCOF-POS : un corpus libre de français parlé annoté en morphosyntaxe, Traitement Automatique des Langues Naturelles (TALN), pp.99-112, 2012.

G. Birkhoff and . Neumann, The Logic of Quantum Mechanics, Annals of Mathematics, vol.374, pp.823-843, 1936.

C. Blanche-benveniste, Approches de la langue parlée en français. Collection L'Essentiel français, p.79, 1997.

F. Blanqui, Termination and Confluence of Higher-Order Rewrite Systems, Rewriting Techniques and Applications, pp.47-61, 2000.
DOI : 10.1007/10721975_4

URL : https://hal.archives-ouvertes.fr/inria-00105556

F. Blanqui and J. Okada, Inductive-datatype systems, In : Theoretical Computer Science, vol.2721, pp.41-68, 2002.

F. E. Bloom, Advancing a Neurodevelopmental Origin for Schizophrenia, Archives of General Psychiatry, vol.50, issue.3, pp.224-90, 1993.
DOI : 10.1001/archpsyc.1993.01820150074008

J. Bos, Wide-coverage semantic analysis with Boxer, Proceedings of the 2008 Conference on Semantics in Text Processing, STEP '08, pp.277-286, 2008.
DOI : 10.3115/1626481.1626503

J. Bos, Handbook of Linguistic Annotation The Groningen Meaning Bank (cf, p.122

P. Boula-de-mareüil, Une étude quantitative des marqueurs discursifs , disfluences et chevauchements de parole dans des interviews politiques, TIPA. Travaux interdisciplinaires sur la parole et le langage, 2013.

C. R. Bowie, D. Et-philip, and . Harvey, Administration and interpretation of the Trail Making Test, Nature Protocols, vol.172, issue.5, 2006.
DOI : 10.1002/gps.929

L. Carlson, RST discourse treebank. Linguistic Data Consortium, University of Pennsylvania (cf, p.111, 2002.

R. Carnap, Meaning and Necessity (cf, p.15, 1947.

C. Cerisara, O. Mella, and D. Fohr, JTrans, an open-source software for semi-automatic text-to-speech alignment, Proc. of INTERSPEECH, p.117, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00431398

E. Chaika, A linguist looks at ???schizophrenic??? language, Brain and Language, vol.1, issue.3, pp.257-276, 1974.
DOI : 10.1016/0093-934X(74)90040-6

S. Charlow, On the semantics of exceptional scope, Thèse de doct, p.63, 2014.

N. Chomsky, M. P. Et, and . Schützenberger, The Algebraic Theory of Context-Free Languages " . In : Computer Programming and Formal Systems, Studies in Logic and the Foundations of Mathematics, pp.118-161, 1963.

N. Chomsky, Syntactic Structures, p.30, 1957.
DOI : 10.1515/9783110218329

N. Chomsky and R. Dinozzi, Language and mind, p.22, 1972.

A. Church, 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

H. Clark and E. Clark, Psychology and language : An introduction to psycholinguistics, Harcourt Brace Jovanovich, p.120, 1977.

H. Clark, R. Schreuder, and S. Buttrick, Common ground at the understanding of demonstrative reference, Journal of Verbal Learning and Verbal Behavior, vol.22, issue.2, pp.245-258, 1983.
DOI : 10.1016/S0022-5371(83)90189-5

S. Clark, Vector Space Models of Lexical Meaning, Chap, vol.22, issue.2, pp.493-522, 2015.
DOI : 10.1002/9781118882139.ch16

M. Constant and A. Dister, Automatic detection of disfluencies in speech transcriptions In : Spoken Communication, pp.259-272, 2010.

M. Crabbé, Une introduction à la logique du premier ordre : lois logiques, raisonnements valides, paradoxes, notion de modèle, calcul des séquents, théorème de complétude, 2000.

H. Curry, Functionality in Combinatory Logic, Proceedings of the National Academy of Sciences, vol.20, issue.11, pp.584-590, 1934.
DOI : 10.1073/pnas.20.11.584

URL : http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1076489

L. Danlos, Vers le FDTB : French Discourse Tree Bank " . In : JAD'12 -Journée Atala Discours. ATALA et revue Discours, pp.704705-125, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00703407

D. Davidson, Theories of Meaning and Learnable Languages, Proceedings of the International Congress for Logic, Methodology, and Philosophy of Science, pp.3-17, 1965.
DOI : 10.1093/0199246297.003.0001

P. De-groote, Partially commutative linear logic : sequent calculus and phase semantics In : Third Roma Workshop : Proofs and Linguistics Categories ? Applications of Logic to the analysis and implementation of Natural Language. Sous la dir. de Vito Michele Abrusci et Claudia Casadio, Bologna :CLUEB, vol.34, pp.199-208, 1996.

P. Bibliographie-de-groote, Towards a Montagovian account of dynamics In : Proceedings of Semantics and Linguistic Theory (SALT) 16. Sous la dir, pp.46-47, 2006.

P. De-groote and M. Kanazawa, A Note on Intensionalization, Journal of Logic, Language and Information 22, pp.173-194, 2013.
DOI : 10.1007/s10849-013-9173-9

URL : https://hal.archives-ouvertes.fr/hal-00909207

P. De-groote and E. Lebedeva, Presupposition accommodation as exception handling, Proceedings of the 11th Annual Meeting of the Special Interest Group on Discourse and Dialogue, pp.71-74, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00572852

É. De-la-clergerie, FRMG : évolutions d'un analyseur syntaxique TAG du français Journée de l'ATALA sur : Quels analyseurs syntaxiques pour le français ? Sous la dir. d'Éric Villemonte de la Clergerie et Patrick Paroubek Journée de l'ATALA organisée conjointement à la conférence IWPT, 2009.

F. De-saussure, Cours de linguistique générale, 1916.

P. Dekker, Predicate Logic with Anaphora Proceedings of the Fourth Semantics and Linguistic Theory Conference (SALT) Sous la dir, 1994.

P. Denis and B. Sagot, Coupling an Annotated Corpus and a Morphosyntactic Lexicon for State-of-the-Art POS Tagging with Less Human Effort, Pacific Asia Conference on Language Information and Computing (PACLIC). Hong- Kong (cf, p.99, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00514366

J. Deulofeu, Depends on What the French Say Spoken Corpus Annotation with and Beyond Syntactic Functions, Proceedings of the Fourth Linguistic Annotation Workshop. LAW IV '10, pp.274-281, 2010.
URL : https://hal.archives-ouvertes.fr/halshs-00685087

D. Dowty, Word meaning and Montague grammar : The semantics of verbs and times in generative semantics and in Montague's PTQ, p.124, 1979.
DOI : 10.1007/978-94-009-9473-7

S. Dumais, Data-driven approaches to information access, Cognitive Science, vol.18, issue.2/3, pp.491-524, 2003.
DOI : 10.1207/s15516709cog2703_7

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.458

S. T. Dumais, Latent semantic analysis, Annual Review of Information Science and Technology, vol.21, issue.2, pp.188-230, 2004.
DOI : 10.1002/aris.1440380105

. Eijck, Axiomatising Dynamic Logics for Anaphora, Journal of Language and Computation. T, vol.1, p.26, 1999.

K. Erk, Vector Space Models of Word Meaning and Phrase Meaning: A Survey, Language and Linguistics Compass, vol.48, issue.3, pp.635-653, 2012.
DOI : 10.1002/lnco.362

I. Eshkol-taravella, Procédure d'anonymisation et traitement automatique : l'expérience d'ESLO. Journée d'études ATALA, Ethique et TAL, p.96, 2014.

D. F. Farkas, Quantifier Scope and Syntactic Islands In : Papers from the Seventeenth Regional Meeting of the Chicago Linguistic Society (CLS 17) Sous la dir, pp.59-66, 1981.

A. Feferman, S. Burdman, and . Feferman, Alfred Tarski : life and logic, p.20, 2004.

. Fort, L. Karën, and I. , Les ressources annotées, un enjeu pour l'analyse de contenu : vers une méthodologie de l'annotation manuelle de corpus, Thèse de doct, p.797760, 2012.

K. Fort and A. Couillault, Yes, We Care ! Results of the Ethics and Natural Language Processing Surveys, Language Resources and Evaluation Conference (LREC). Portoro?, Slovénie (cf, p.7, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01287467

G. Frege, Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens Halle a. S. : Louis Nebert. Translation : Concept Script, a formal language of pure thought modelled upon that of arithmetic, VAN HEIJENOORT. From Frege to Gödel : a Source Book in Mathematical Logic, p.14, 1879.

V. A. Fromkin, A linguist looks at ???a linguist looks at ???schizophrenic language??????, Brain and Language, vol.2, issue.87, pp.498-50380087, 1975.
DOI : 10.1016/S0093-934X(75)80087-3

B. Ganter, C. Franzke, and R. Wille, Formal Concept Analysis : Mathematical Foundations, p.9783642598302, 2012.

B. Ganter, S. O. Et, and . Kuznetsov, Pattern Structures and Their Projections, Conceptual Structures : Broadening the Base, Proceedings of the 9th International Conference on Conceptual Structures, pp.129-142, 2001.
DOI : 10.1007/3-540-44583-8_10

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.7648

B. Ganter, R. Et, and . Wille, Formal Concept Analysis, Mathematical Foundations, p.109, 1999.

C. Gardent, Integrating a unification-based semantics in a large scale lexicalised tree adjoining grammar for French, Proceedings of the 22nd International Conference on Computational Linguistics, COLING '08, pp.249-256, 2008.
DOI : 10.3115/1599081.1599113

URL : https://hal.archives-ouvertes.fr/hal-00337374

C. Gardent and Y. Parmentier, Large Scale Semantic Construction for Tree Adjoining Grammars, Proceedings of the 5th International Conference on Logical Aspects of Computational Linguistics. LACL'05, pp.131-146, 2005.
DOI : 10.1007/11422532_9

B. Geurts, Presuppositions and Pronouns. Current Research in the Semantics/Pragmatics Interface, p.25, 1999.

K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I " . In : Monatshefte für mathematik und physik 38, pp.173-198, 1931.

J. Groenendijk and M. Stokhof, Dynamic Montague grammar, Proceedings of the Second Symposion on Logic and Language, pp.3-48, 1990.

B. J. Grosz, L. Et-candace, and . Sidner, Attention, Intentions, and the Structure of Discourse, In : Computational Linguistics, vol.123, pp.175-204, 1986.

C. Grouin and P. Zweigenbaum, Automatic De-Identification of French Clinical Records : Comparison of Rule-Based and Machine-Learning Approches, In : Stud Health Technol Inform, vol.3233, issue.10, pp.476-80978, 2013.

V. Hacquard, Aspects of modality, Thèse de doct. Massachusetts Institute of Technology (cf, p.54, 2006.

M. Hamana, Higher-order semantic labelling for inductive datatype systems, Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming, PPDP '07, pp.97-108, 2007.
DOI : 10.1145/1273920.1273933

Z. Harris, Distributional structure, pp.146-162, 1954.

S. Heiden, The TXM Platform : Building Open-Source Textual Analysis Software Compatible with the TEI Encoding Scheme, 24th Pacific Asia Conference on Language, Information and Computation, 2010.
URL : https://hal.archives-ouvertes.fr/halshs-00549764

S. Heiden, J. Magué, and B. Pincemin, TXM : Une plateforme logicielle open-source pour la textométrie -conception et développement, 10th International Conference on the Statistical Analysis of, pp.1021-1032, 2010.

I. Heim, The Semantics of Definite and Indefinite Noun Phrases, Thèse de doct, p.25, 1982.

I. Heim and A. Kratzer, Semantics in Generative Grammar. Blackwell (cf, p.30, 1998.

D. Hilbert, Sur les problèmes futurs des mathématiques, Compte rendu du deuxieme congres international des mathématiciens, pp.58-114, 1902.

J. Hintikka, Modality as referential multiplicity, Eripainos Ajatus. WSOY (cf, p.54, 1957.

A. Hotho, A. Nürnberger, and G. Paaß, A Brief Survey of Text Mining, In : Journal of Language Technologies and Computational Linguistics, vol.201, pp.19-62, 2005.

W. A. Howard, The formulas-as-types notion of construction Curry : Essays on Combinatory Logic, Lambda Calculus, and Formalism. Sous la dir, J. P. Seldin et J. R. Hindley. Reprint, pp.479-490, 1969.

M. Hyland, G. Plotkin, and J. Power, Combining effects: Sum and tensor, Theoretical Computer Science, vol.357, issue.1-3, pp.70-99, 2006.
DOI : 10.1016/j.tcs.2006.03.013

URL : http://doi.org/10.1016/j.tcs.2006.03.013

R. Jackendoff, Semantic interpretation in generative grammar, p.30, 1972.

S. L. Jones and . Peyton, Haskell 98 language and libraries : the revised report, p.63, 2003.

H. Kamp, A theory of truth and semantic representation, Formal Semantics, pp.189-222, 1981.

H. Kamp, J. Genabith, and U. Reyle, Discourse representation theory, Handbook of philosophical logic, pp.125-394, 2011.
DOI : 10.1007/978-94-007-0485-5_3

H. Kamp and U. Reyle, From discourse to logic : introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Part 1. From Discourse to Logic : Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory, pp.50-122, 1993.

S. Kleene and . Cole, Recursive predicates and quantifiers, Transactions of the American Mathematical Society, vol.53, issue.1, pp.41-73, 1943.
DOI : 10.1090/S0002-9947-1943-0007371-8

J. Klop, V. Willem, and . Van-oostrom-et-femke-van-raamsdonk, Combinatory reduction systems: introduction and survey, Theoretical computer science 121.1, pp.279-308, 1993.
DOI : 10.1016/0304-3975(93)90091-7

G. Kobele, Generating Copies : An Investigation into Structural Identity in Language and Grammar, Thèse de doct. University of California, p.30, 2006.

A. Kratzer, What 'must' and 'can' must and can mean, Linguistics and Philosophy, vol.13, pp.337-355, 1977.
DOI : 10.1093/acprof:oso/9780199234684.003.0001

B. Kratzer and A. , The notional category of modality, pp.38-74, 1981.

P. Lafon, Sur la variabilit?? de la fr??quence des formes dans un corpus, Mots : Saussure, Zipf, Lagado, des méthodes, des calculs, des doutes et le vocabulaire de quelques textes politiques 1.1, pp.127-165, 1980.
DOI : 10.3406/mots.1980.1008

J. Lambek, The mathematics of sentence structure, American mathematical monthly, vol.5, pp.154-170, 1958.

T. K. Landauer and S. T. Dutnais, A solution to Plato's problem: The latent semantic analysis theory of acquisition, induction, and representation of knowledge., Psychological review 104, pp.211-240, 1997.
DOI : 10.1037/0033-295X.104.2.211

A. Lascarides and N. Asher, Agreement and disputes in dialogue, Proceedings of the 9th SIGdial Workshop on Discourse and Dialogue, SIGdial '08, pp.29-36, 2008.
DOI : 10.3115/1622064.1622070

E. Lebedeva, Expression de la dynamique du discours à l'aide de continuations, Thèse de doct, pp.49-63, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00783245

A. Lecomte, Categorial Grammar for Minimalism " . In : Language and Grammar : Studies in Mathematical Linguistics and Natural Language CSLI Lecture Notes, pp.163-188, 2005.
DOI : 10.1007/3-540-45738-0_9

A. Lecomte and C. Retoré, Extending Lambek grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.354-361, 2001.
DOI : 10.3115/1073012.1073059

G. Leibniz and . Wilhelm, The Art of Dicovery, p.14, 1685.

L. Deborah, L. Sereno, A. B. Diane, C. Gooding, A. Gilllian et al., Eye Tracking Dysfunction in Schizophrenia : Characterization and Pathophysiology, Curr Top Behav Neurosci, vol.4, pp.311-347, 2010.

D. Lindsey, Smooth-pursuit eye movements: A comparison of two measurement techniques for studying schizophrenia., Journal of Abnormal Psychology, vol.87, issue.5, pp.481-96, 1978.
DOI : 10.1037/0021-843X.87.5.491

W. Mann and S. Thompson, Rhetorical Structure Theory: Toward a functional theory of text organization, Text - Interdisciplinary Journal for the Study of Discourse, vol.8, issue.3, pp.243-281, 1988.
DOI : 10.1515/text.1.1988.8.3.243

D. Marcu and A. Echihabi, An unsupervised approach to recognizing discourse relations, Proceedings of the 40th Annual Meeting on Association for Computational Linguistics , ACL '02, 2002.
DOI : 10.3115/1073083.1073145

URL : http://acl.ldc.upenn.edu/P/P02/P02-1047.pdf

J. Mar?ík, Towards a Wide-Coverage Grammar : Graphical Abstract Categorial Grammars " . Mém.de mast, p.62, 2013.

J. Mar?ík and M. Amblard, Integration of Multiple Constraints in ACG Logic and Engineering of Natural Language Semantics 10, pp.1-14, 2013.

S. Martin and C. Pollard, Hyperintensional Dynamic Semantics, Proceedings of Formal Grammar (FG) 15. To appear in Lecture Notes in Computer Science (cf, p.50, 2010.
DOI : 10.1007/978-3-642-32024-8_8

Y. Mathet and A. Widlöcher, Stratégie d'exploration de corpus multiannotés avec GlozzQL, Actes de la 18e Conférence Traitement Automatique des Langues Naturelles, pp.143-148, 2011.

J. Michaelis, Derivational Minimalism Is Mildly Context???Sensitive, Lecture Notes in Computer Science, pp.179-198, 2001.
DOI : 10.1007/3-540-45738-0_11

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.6198

E. Moggi, Notions of computation and monads Information and computation 93, pp.55-9290052, 1991.
DOI : 10.1016/0890-5401(91)90052-4

URL : http://doi.org/10.1016/0890-5401(91)90052-4

R. Montague, On the Nature of Certain Philosophical Entities, The Monist 53, pp.159-194, 1969.
DOI : 10.5840/monist19695327

M. Moortgat, Categorial Investigations : Logical and Linguistic Aspects of the Lambek Calculus. Groningen-Amsterdam studies in semantics. Foris Publications. isbn : 9789067653879 (cf, 1988.

S. Moosdijk and . Von-de, Mining texts at the discourse level " . Mém.de mast, 2014.

G. V. Morrill, Type Logical Grammar : Categorial Logic of Signs. research monograph, 1994.
DOI : 10.1007/978-94-011-1042-6

P. Muller and S. Afantenos, Constrained decoding for text-level discourse parsing, COLING-24th International Conference on Computational Linguistics (cf, p.111, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00750611

P. Muller and L. Prévot, The rhetorical attachment of questions and answers, Meaning, Intentions, and Argumentation. Sous la dir. de Kepa Korta et Joana Garmendia. T. 186. (CSLI-LN) Center for the Study of Language and Information -Lecture Notes, pp.1-17, 2008.
URL : https://hal.archives-ouvertes.fr/hal-01231958

M. Musiol and A. Trognon, L'accomplissement interactionnel du trouble schizophrénique, Raisons Pratiques 7, pp.179-209, 1996.

R. Muskens, Combining Montague semantics and discourse representation, Linguistics and philosophy 19, pp.143-186, 1996.
DOI : 10.1007/BF00635836

M. H. Newman, A. M. Et, and . Turing, A formal theorem in Church's theory of types, Journal of Symbolic Logic 7, pp.28-33, 1942.
DOI : 10.2307/2267552

S. Oepen, LinGO Redwoods. A Rich and Dynamic Treebank for HPSG Sozopol, Bulgaria (cf, Proceedings of The First Workshop on Treebanks and Linguistic Theories, p.111, 2002.
DOI : 10.1007/s11168-004-7430-4

L. Orosanu and D. Jouvet, Detection of sentence modality on French automatic speech-to-text transcriptions, International Conference on Natural Language and Speech Processing. Alger, Algeria. hal archive ouverte, pp.1184193-117, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01184193

S. Padrovni, Description de l'articulation des registres visuels, (eyetracking ) et verbaux dans le maintien de l'interaction schizophrénique, Thèse de doct, p.82, 2015.

M. Parigot, ?µ-calculus : An Algorithmic Interpretation of Classical Natural Deduction, proceedings of the Fourth International Conference on Types Lambda Calculi and Applications, pp.190-201, 1992.
DOI : 10.1007/bfb0013061

B. Partee and . Hall, Nominal and temporal anaphora, Linguistics and philosophy 7.3, pp.243-286, 1984.

B. Partee, . Hall, L. W. Herman, and . Hendriks, Montague Grammar In : Handbook of Logic and Language, 1997.

G. Peano, Arithmetices principia : nova methodo. Fratres Bocca (cf, p.14, 1889.

P. Rosé and C. , Discourse processing of dialogues with multiple threads, Proceedings of the 33rd annual meeting on Association for Computational Linguistics -, pp.95-1005, 1995.
DOI : 10.3115/981658.981663

G. Perrier and B. Guillaume, FRIGRAM : a French Interaction Grammar In : ESSLLI 2013 -Workshop on High-level Methodologies for Grammar Engineering, pp.63-74, 2013.

M. Péry-woodley, La ressource ANNODIS, un corpus enrichi d'annotations discursives, pp.71-101, 2011.

A. Petronis, The origin of schizophrenia: genetic thesis, epigenetic antithesis, and resolving synthesis, Biological psychiatry 55, pp.965-970, 2004.
DOI : 10.1016/j.biopsych.2004.02.005

A. Peyraube, L'??volution des structures grammaticales., Langages, vol.36, issue.146, pp.46-58, 2002.
DOI : 10.3406/lgge.2002.2400

G. D. Plotkin and M. Pretnar, Handling Algebraic Effects, Logical Methods in Computer Science, vol.9, issue.4, p.61, 2013.
DOI : 10.2168/LMCS-9(4:23)2013

G. Plotkin and M. Pretnar, Handlers of Algebraic Effects, pp.80-94, 2009.
DOI : 10.1007/978-3-642-00590-9_7

S. Pogodalla, Computing Semantic Representation : Towards ACG Abstract Terms as Derivation Trees In : Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms -TAG+7. Colloque avec actes et comité de lecture. Internationale, pp.64-71, 2004.

P. Portner and B. H. Partee, Formal Semantics : The Essential Readings, p.5, 2002.
DOI : 10.1002/9780470758335

S. Qian, Identification of accessibility constraints in discourse, p.46, 2009.

S. Qian and M. Amblard, Event in Compositional Dynamic Semantics, p.51, 2011.
DOI : 10.1007/978-3-642-22221-4_15

URL : https://hal.archives-ouvertes.fr/hal-00601620

S. Qian, P. De-groote, and M. Amblard, Modal Subordination in Type Theoretic Dynamic Logic In : Linguistic Issues in Language Technology. Modes of Modality in NLP 14, p.60, 2016.

W. Quine and . Van-orman, Word and Object, p.89, 1960.

A. Ranta, S??mantique computationnelle dans la th??orie des types, Math??matiques et sciences humaines, vol.165, issue.165, pp.31-57, 2004.
DOI : 10.4000/msh.2925

M. Rebuschi, Modélisation et rationalité dans l'analyse linguistique de conversations pathologiques. Rencontres doctorales internationales en philosophie des sciences (cf, p.122, 2015.

M. Rebuschi, M. Amblard, and M. Musiol, Schizophrénie, logicité et compréhension en première personne, 2012.

H. Reichenbach, The philosophy of space and time, p.16, 1957.

H. Reichenbach, Elements of symbolic logic, p.16, 1980.

C. Retoré, A description of the non-sequential execution of Petri nets in partially commutative linear logic, Logic Colloquium 99 Lecture Notes in Logic, pp.152-181, 2004.
DOI : 10.1017/9781316755921.013

C. Roberts, Modal subordination, anaphora, and distributivity, Thèse de doct. University of Massachusetts Amherst (cf, p.55, 1987.
DOI : 10.1007/bf00632602

M. Rooth, Noun Phrase Interpretation in Montague Grammar, File Change Semantics, and Situation Semantics, pp.237-268, 1987.
DOI : 10.1007/978-94-009-3381-1_9

C. Roze, L. Danlos, and P. Muller, LEXCONN: A French Lexicon of Discourse Connectives, Discours, Multidisciplinary Perspectives on Signalling Text Organisation 10, p.125, 2012.
DOI : 10.4000/discours.8645

URL : https://hal.archives-ouvertes.fr/hal-00702542

P. Ruet and F. Fages, Concurrent constraint programming and noncommutative logic In : Computer Science Logic. Sous la dir. de Mogens Nielsen et Wolfgang Thomas. T. 1414. Lecture Notes in Computer Science, pp.406-423, 1998.

B. Russell, On denoting, pp.479-493, 1905.

B. Sagot, The Lefff, a freely available and large-coverage morphological and syntactic lexicon for French, 7th international conference on Language Resources and Evaluation, pp.521242-99, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00521242

W. Saurer, A natural deduction system for discourse representation theory, Journal of Philosophical Logic, vol.22, issue.3, pp.249-302, 1993.
DOI : 10.1007/BF01049304

H. Schmid, Probabilistic Part-of-Speech Tagging Using Decision Trees, Proceedings of International Conference on New Methods in Language Processing (cf, p.99, 1994.

P. Sells, Restrictive and non-restrictive modification. T. 28. Center for the Study of Language et Information, p.55, 1985.

C. Shan, Delimited continuations in natural language : Quantification and polarity sensitivity, p.46, 2004.

C. E. Shannon, Communication in the presence of noise, Proceedings of the IRE 37.1, pp.10-21, 1949.

R. Soricut and D. Marcu, Sentence level discourse parsing using syntactic and lexical information, Proceedings of the 2003 Conference of the North American Chapter of the Association for Computational Linguistics on Human Language Technology , NAACL '03, pp.149-156, 2003.
DOI : 10.3115/1073445.1073475

C. Sporleder and A. Lascarides, Using automatically labelled examples to classify rhetorical relations: an assessment, Natural Language Engineering, vol.5, issue.03, pp.369-416, 2008.
DOI : 10.1017/S1351324901002728

E. Stabler, Derivational minimalism, p.29, 1997.
DOI : 10.1007/BFb0052152

L. Stark, Abnormal patterns of normal eye movements in schizophrenia, In : Schizophrenia Bulletin, vol.91, pp.55-72, 1983.

M. Stone and D. Hardt, Dynamic Discourse Referents for Tense and Modals, pp.301-319, 1999.
DOI : 10.1007/978-94-011-4231-1_15

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.4856

C. Strachey and C. P. Wadsworth, Continuations : A mathematical semantics for handling full jumps, Programming Research Group, p.46, 1974.

D. J. Struik, A Source Book in Mathematics, 1200-1800. Source Books in the History of the Sciences, pp.9780674823556-14, 1969.

A. Tarski, The Concept of Truth in Formalized Languages In : Nak?adem Towarzystwa Naukowego Warszawskiego (Polish original version) German translation with an added postscript, Tarski, p.20, 1933.

B. Tarski, A. , J. H. Woodger, and J. Corcoran, Logic, semantics, metamathematics : papers from 1923 to 1938, p.20, 1956.

S. Tiv, Modelling Dialogues in a Dynamics Framework : formal integration and evaluation " . Mém.de mast, p.125, 2016.

A. M. Turing, Computability and ??-definability, The Journal of Symbolic Logic, vol.42, issue.04, pp.153-163, 1937.
DOI : 10.2307/2371045

A. Urieli and L. Tanguy, L'apport du faisceau dans l'analyse syntaxique en dépendances par transitions : études de cas avec l'analyseur Talismane, Actes de la 20e conférence sur le Traitement Automatique des Langues Naturelles (TALN'2013). Les Sables d, pp.188-201, 2013.

J. Van-benthem, Essays in logical semantics. Studies in linguistics and philosophy 29, 1986.

. Van-eijck, Presuppositions and dynamic logic In : Papers from the Second CSLI Workshop on Logic, Language and Computation, p.25, 1995.

N. Van-leusen and R. Muskens, Construction by description in discourse representation. Institute for Logic, Language et Computation (ILLC), University of Amsterdam (cf, p.25, 2002.

R. Van-rooij, A Modal Analysis of Presupposition and Modal Subordination, Journal of Semantics, vol.22, issue.3, pp.281-305, 2005.
DOI : 10.1093/jos/ffh026

K. Von-fintel, Modality and language " . In : Encyclopedia of philosophy -second edition, p.54, 2006.

K. Von-heusinger, A. Et, and . Meulen, Meaning and the Dynamics of Interpretation : Selected Papers of Kamp, Hans. Current Research in the Semantics / Pragmatics Interface, pp.9789004252882-121, 2013.

A. Vu, Text mining at discourse level " . Mém.de mast, 2016.

P. Wadler, The essence of functional programming, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, pp.1-14, 1992.
DOI : 10.1145/143165.143169

D. Wechsler, The Measurement and Appraisal of Adult Intelligence. The Measurement and Appraisal of Adult Intelligence, p.81, 1958.

B. Wellner, Classification of discourse coherence relations, Proceedings of the 7th SIGdial Workshop on Discourse and Dialogue, SigDIAL '06, pp.117-125, 2009.
DOI : 10.3115/1654595.1654618

A. Whitehead, B. North, and . Russell, Principia mathematica. T. 2, p.15, 1912.

F. Wolf, Discourse Graphbank, Linguistic Data Consortium (cf, p.111, 2004.

S. Woods and . Paul, The California Verbal Learning Test ??? second edition: Test-retest reliability, practice effects, and reliable change indices for the standard and alternate forms, Archives of Clinical Neuropsychology, vol.21, issue.5, 2006.
DOI : 10.1016/j.acn.2006.06.002

H. Zeevat, A compositional approach to discourse representation theory, Linguistics and Philosophy, vol.36, issue.1, pp.95-131, 1989.
DOI : 10.1007/BF00627399