L. Abzianidze, A Tableau Prover for Natural Logic and Language, Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, pp.2492-2502, 2015.
DOI : 10.18653/v1/D15-1296
URL : http://aclweb.org/anthology/D/D15/D15-1296.pdf

B. R. Ambati, T. Deoskar, and M. Steedman, Shift-Reduce CCG Parsing using Neural Network Models, Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pp.447-453, 2016.
DOI : 10.18653/v1/N16-1052
URL : https://doi.org/10.18653/v1/n16-1052

N. Asher, Discourse semantics The Cambridge Handbook of Formal Semantics, Cambridge Handbooks in Language and Linguistics, pp.106-129, 2016.

N. Asher and A. Lascarides, Logics of Conversation, 2003.

N. Asher and S. Pogodalla, SDRT and Continuation Semantics, New Frontiers in Artificial Intelligence JSAI-isAI, 2010.
DOI : 10.1017/S0959269505002073
URL : https://hal.archives-ouvertes.fr/inria-00565744

L. Workshops, . Jurisin, . Ambn, . Iss, and J. Tokyo, Revised Selected Papers, Lecture Notes in Computer Science, vol.6797, pp.3-15, 2010.

C. Barker and C. Shan, Continuations and Natural Language, 2014.
DOI : 10.1093/acprof:oso/9780199575015.001.0001

T. Bernard and L. Danlos, Modelling Discourse in STAG: Subordinate Conjunctions and Attributing Phrases, Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), pp.38-47, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01329539

J. Bjerva, J. Bos, R. Van-der-goot, and M. Nissim, The Meaning Factory: Formal Semantics for Recognizing Textual Entailment and Determining Semantic Similarity, Proceedings of the 8th International Workshop on Semantic Evaluation (SemEval 2014), pp.642-646, 2014.
DOI : 10.3115/v1/S14-2114
URL : https://doi.org/10.3115/v1/s14-2114

J. Bos and K. Markert, Recognising textual entailment with logical inference, Proceedings of the conference on Human Language Technology and Empirical Methods in Natural Language Processing , HLT '05, pp.628-635, 2005.
DOI : 10.3115/1220575.1220654
URL : http://acl.ldc.upenn.edu/H/H05/H05-1079.pdf

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

L. Danlos and O. Rambow, Discourse Relations and Propositional Attitudes, Proceedings of CID 2011, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00614763

D. Davidson, The Logical Form of Action Sentences The Logic of Decision and Action, pp.81-95, 1967.

P. De and G. , Towards a Montagovian Account of Dynamics, Proceedings of the 16th Semantics and Linguistic Theory Conference, pp.1-16, 2006.

N. Dinesh, A. Lee, E. Miltsakaki, R. Prasad, A. Joshi et al., Attribution and the (Non-)Alignment of Syntactic and Discourse Arguments of Connectives, Proceedings of the Workshop on Frontiers in Corpus Annotations II: Pie in the Sky, pp.29-36, 2005.

J. Groenendijk and M. Stokhof, Dynamic predicate logic, Linguistics and Philosophy, vol.12, issue.1, pp.39-1002, 1991.
DOI : 10.1007/BF00628304
URL : https://pure.uva.nl/ws/files/1971390/27375_dpl.pdf

F. Guzmán, S. Joty, L. , and P. Nakov, Using Discourse Structure Improves Machine Translation Evaluation, Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp.687-698, 2014.
DOI : 10.3115/v1/P14-1065

L. Haegeman, The syntax of adverbial clauses and its consequences for topicalisation, Current Studies in Comparative Romance Linguistics, Antwerp University, number 107 in APiL, pp.61-90, 2004.
DOI : 10.1016/j.lingua.2008.07.007
URL : https://hal.archives-ouvertes.fr/halshs-00129438

D. Hardt, A Uniform Syntax and Discourse Structure: the Copenhagen Dependency Treebanks, Dialogue & Discourse, vol.3, issue.2, pp.53-642, 2013.
DOI : 10.5087/dad.2013.203
URL : https://doi.org/10.5087/dad.2013.203

J. , R. Hindley, and J. P. Seldin, Introduction to Combinators and ?-calculus, 1986.

J. Hunter, Reports in Discourse, Dialogue & Discourse, vol.7, issue.4, 2016.

J. Hunter, N. Asher, and . Forthcoming, Composing Discourse Parenthetical Reports, Proceedings of Sinn und Bedeutung 21

J. Hunter and L. Danlos, Because We Say So, Proceedings of the EACL 2014 Workshop on Computational Approaches to Causality in Language (CAtoCL), pp.1-9, 2014.
DOI : 10.3115/v1/W14-0701
URL : https://hal.archives-ouvertes.fr/hal-00985486

P. Jansen, M. Surdeanu, and P. Clark, Discourse Complements Lexical Semantics for Non-factoid Answer Reranking, Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp.977-986, 2014.
DOI : 10.3115/v1/P14-1092
URL : http://aclweb.org/anthology/P/P14/P14-1092.pdf

H. Kamp and U. Reyle, From Discourse to Logic. Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory. Number 42 in Studies in Linguistics and Philosophy, 1993.
DOI : 10.1007/978-94-017-1616-1

L. Karttunen, Some observations on factivity, Paper in Linguistics, vol.65, issue.1, pp.55-69, 1971.
DOI : 10.2307/2024557

E. Lebedeva, Expressing Discourse Dynamics Through Continuations, pp.2-44, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00783245

M. Lewis, K. Lee, and L. Zettlemoyer, LSTM CCG Parsing, Proceedings of the 2016 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, pp.221-231, 2016.
DOI : 10.18653/v1/N16-1026
URL : https://doi.org/10.18653/v1/n16-1026

C. William, S. A. Mann, and . Thompson, Rhetorical Structure Theory: Toward a functional theory of text organization, Text, vol.8, issue.3, pp.243-281, 1988.

K. Narasimhan and R. Barzilay, Machine Comprehension with Discourse Relations, Proceedings of the 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing (Volume 1: Long Papers), pp.1253-1262, 2015.
DOI : 10.3115/v1/P15-1121

R. Prasad, N. Dinesh, A. Lee, E. Miltsakaki, L. Robaldo et al., The Penn Discourse TreeBank 2.0, Proceedings of the 6th International Conference on Language Resources and Evaluation. Marrackech , Morocco, 2008.

R. Prasad, E. Miltsakaki, N. Dinesh, A. Lee, A. Joshi et al., The Penn Discourse Treebank 2, 2007.

S. Qian, Accessibility of Referents in Discourse Semantics, pp.2-8, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01750993

S. Qian and M. Amblard, Event in Compositional Dynamic Semantics, Proceedings of LACL 2011, pp.219-2342, 2011.
DOI : 10.1016/0378-2166(88)90050-1
URL : https://hal.archives-ouvertes.fr/hal-00601620

C. John and . Reynolds, The discoveries of continuations, LISP and Symbolic Computation, vol.634, pp.233-247, 1993.

M. Stuart, Y. Shieber, and . Schabes, Synchronous Tree-adjoining Grammars, Proceedings of the 13th Conference on Computational Linguistics, pp.253-258, 1990.

M. Simons, Observations on embedding verbs, evidentiality, and presupposition, Lingua, vol.117, issue.6, pp.1034-1056, 2007.
DOI : 10.1016/j.lingua.2006.05.006

M. Steedman and J. Baldridge, Combinatory Categorial Grammar, Non-Transformational Syntax, pp.181-224, 2011.
DOI : 10.7551/mitpress/9780262017077.003.0006
URL : http://comp.ling.utexas.edu/courses/2007/cl1/ccg.pdf

M. Tu, Y. Zhou, and C. Zong, Enhancing Grammatical Cohesion: Generating Transitional Expressions for SMT, Proceedings of the 52nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pp.850-860, 2014.
DOI : 10.3115/v1/P14-1080
URL : https://doi.org/10.3115/v1/p14-1080

J. O. Urmson, Parenthetical Verbs, pp.480-4962, 1952.

B. Webber, D-LTAG: extending lexicalized TAG to discourse, Cognitive Science, vol.29, issue.4, pp.751-779, 2004.
DOI : 10.1162/089120103322753347
URL : https://onlinelibrary.wiley.com/doi/pdf/10.1207/s15516709cog2805_6

B. Webber, M. Stone, A. Joshi, and A. Knott, Anaphora and Discourse Structure, Computational Linguistics, vol.14, issue.2, pp.545-587, 2003.
DOI : 10.1080/01690969108406940
URL : http://doi.org/10.1162/089120103322753347