Computational linguistics is an interdisciplinary field aiming to produce computational models (symbolic, statistic or hybrid) for natural language. Its scope of application is Natural Language Processing. This field receives a new significance with the emergence of digital society, which generate an increasingly voluminous mass of textual information.
Montague semantics  aims to set the truth conditions of a sentence, regardless of its uttering context. Hence, it does not account for dynamic phenomena due to discourse. To close this gap, Kamp developed the Discourse Representation Theory (DRT) , whose underlying dynamic logic was highlighted by Groenendijck and Stokhof .
Kamp’s DRT, in its original form, experiences several limitations which motivated new theories. E.g., it does not account the existence of discourse relations underlying the notion of discourse cohesion. To retrieve this issue, Asher and Lascarides developed the Segmented Discourse Representation Theory (SDRT) .
Besides, DRT and the associated dynamic logic rely on a model of imperative computation, hardly compatible with the applicative model basing Montague semantics. In order to retrieve the issue, de Groote  and Lebedeva  propound a redevelopment of DRT and its dynamic logic, based on Church’s simple theory of types .
Eventually, Asher and Pogodalla  combined the two investigation lines laying the foundation for a system conciliating SDRT and the dynamic approach based on the simple theory of types. The topic of my PhD thesis directly comes in the wake of these works.
The aim of my PhD thesis is to define a dynamic model of discourse, based on type theory, that accounts for discourse relations. For this purpose, I will broaden the dynamic primitives defined in [7, 10] in order to get a dynamic logic whose clauses will be able to model the notion of segmented discourse representation structure . I will then define new operators of dynamic conjunction matching the kinds of rhetorical relations identified in SDRT (elaboration, contrast, explanation and narration). At last, I will study entailment issues due to identification of discourse relations (entailment of discourse connectors’ implicit arguments, semantic disambiguation of polysemous connectors, entailment of cue-less relations).
 Church A. A formulation of the simple theory of types. The journal of symbolic logic. 1940 Jun;5(2):56-68.
 Montague R. The proper treatment of quantification in ordinary English. In Philosophy, language, and artificial intelligence 1973 (pp. 141-162). Springer Netherlands.
 Montague R. Formal Philosophy: Selected Papers of Richard Montague. Ed. and with an Introd. by Richmond H. Thomason. Yale University Press; 1974.
 Groenendijk J, Stokhof M. Dynamic predicate logic. Linguistics and philosophy. 1991 Feb 1;14(1):39-100.
 Kamp H, Reyle U. From discourse to logic; An introduction to model theoretic semantics of natural language, formal logic and DRT. 1993
 Asher N, Lascarides A. Logics of conversation. Cambridge University Press; 2003 Jun 19.
 De Groote P. Towards a Montagovian account of dynamics. In Semantics and Linguistic Theory 2006 Aug 3 (Vol. 16, pp. 1-16).
 Asher N, Pogodalla S. Sdrt and continuation semantics. In JSAI International Symposium on Artificial Intelligence 2010 Nov 18 (pp. 3-15). Springer, Berlin, Heidelberg.
 Roze C, Danlos L, Muller P. LEXCONN: a French lexicon of discourse connectives. Discours. Revue de linguistique, psycholinguistique et informatique. A journal of linguistics, psycholinguistics and computational linguistics. 2012 Jul 16(10).
 Ekaterina Lebedeva. Expressing discourse dynamics through continuations. Computation and Language. Université de Lorraine, 2012.