=. John, P john It takes a property as input, and yields a proposition, its type is (? ? o) ? o

B. Abbott, Definite and Indefinite, Encyclopedia of Language & Linguistics, pp.28-257, 2006.
DOI : 10.1016/B0-08-044854-2/01089-0

B. Abbott, Reference (Oxford Surveys in Semantics and Pragmatics), p.54

M. Ariel, Givenness marking, p.241, 1985.

M. Ariel, Accessing noun-phrase antecedents. Routledge London, p.241, 1990.

M. Ariel, Accessibility theory: An overview Text representation: Linguistic and psycholinguistic aspects, pp.29-87, 2001.

N. Asher, Reference to abstract objects in discourse, pp.78-236, 1993.
DOI : 10.1007/978-94-011-1715-9

N. Asher and S. Pogodalla, A montagovian treatment of modal subordination, 20th Semantics and Linguistic Theory conference-SALT2010, 2011a. (cited on page
URL : https://hal.archives-ouvertes.fr/inria-00565616

N. Asher and S. Pogodalla, SDRT and Continuation Semantics, In New Frontiers in Artificial Intelligence, vol.15, issue.2, pp.3-15
DOI : 10.1017/S0959269505002073

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

N. Asher and L. Vieu, Subordinating and coordinating discourse relations, Lingua, vol.115, issue.4, pp.591-610, 2005.
DOI : 10.1016/j.lingua.2003.09.017

URL : http://doi.org/10.1016/j.lingua.2003.09.017

A. Asudeh and M. Dalrymple, Binding Theory, Encyclopedia of Language & Linguistics, p.36, 2006.
DOI : 10.1016/B0-08-044854-2/01955-6

E. Bach and B. H. Partee, Anaphora and Semantic Structure, p.33, 1980.
DOI : 10.1002/9780470751305.ch6

H. P. Barendregt, The lambda calculus, p.59, 1984.

H. Barendregt, W. Dekkers, and R. Statman, Lambda calculus with types, p.59, 2013.
DOI : 10.1017/CBO9781139032636

C. Barker, Continuations and the nature of quantification Natural language semantics, pp.211-242, 2002.

C. Barker, Continuations in natural language, CW, vol.4, pp.1-11, 2004.
DOI : 10.1093/acprof:oso/9780199575015.001.0001

D. Büring, Binding Theory. Cambridge Textbooks in Linguistics, 2005.

R. Carnap, Meaning postulates, Philosophical Studies, vol.2, issue.5, pp.65-73, 1952.
DOI : 10.1007/BF02350366

G. Chierchia, Dynamics of meaning: Anaphora, presupposition, and the theory of grammar, pp.76-259, 1995.
DOI : 10.7208/chicago/9780226104515.001.0001

N. Chomsky, Syntactic Structures, pp.13-255, 1957.
DOI : 10.1515/9783110218329

N. Chomsky, Lectures on government and binding. Dordrecht: Foris, pp.36-38, 1981.

N. Chomsky, Knowledge of language: Its nature, origins, and use, pp.36-39, 1986.

N. Chomsky, The minimalist program, p.36, 1995.
DOI : 10.7551/mitpress/9780262527347.001.0001

A. Church, A formulation of the simple theory of types. The journal of symbolic logic, pp.56-68, 1940.

A. Conroy, E. Takahashi, J. Lidz, and C. Phillips, Equal Treatment for All Antecedents: How Children Succeed with Principle B, Linguistic Inquiry, vol.8, issue.3, pp.446-486, 2009.
DOI : 10.1016/S0010-0277(99)00032-3

R. Cooper, Montague's Semantic Theory and Transformational Grammar, p.116, 1975.

F. Cornish, Anaphora, discourse and understanding. evidence from english and french, Recherche, vol.67, pp.2-33, 1999.

M. Dalrymple, Lexical-Functional Grammar, p.39, 2001.
DOI : 10.1002/0470018860.s00222

URL : http://www.sciencedirect.com/science?_ob=ShoppingCartURL&_method=add&_eid=3-s2.0-B0080448542020435&originContentFamily=nonserial&_origin=article&_ts=1487832916&md5=1642c2dd5b6635d7dca002596ea34d5d

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

D. Davidson, Truth and meaning, Synthese, vol.17, issue.1, pp.304-323, 1967.
DOI : 10.1007/BF00485035

P. De-groote, Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.252-259, 2001.
DOI : 10.3115/1073012.1073045

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

P. De and G. , Towards a montagovian account of dynamics, Proceedings of SALT, pp.1-16, 2006.

P. De and G. , Yet another dynamic logic, p.93, 2007.

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

S. Keith and . Donnellan, Reference and definite descriptions. The philosophical review, pp.281-304, 1966.

D. Dowty, R. Wall, and S. Peters, Introduction to Montague semantics, p.42, 1981.
DOI : 10.1007/978-94-009-9065-4

A. E. Michael and . Dummett, What is a theory of meaning? In Mind and Language, p.42, 1975.

D. A. and H. Elworthy, The semantics of noun phrase anaphora, pp.238-259, 1992.

F. Donka and . Farkas, Specificity and scope, Langues et Grammaire 1. Citeseer, p.114, 1994.

F. Donka and . Farkas, Specificity distinctions, Journal of Semantics, vol.19, issue.116, pp.213-243, 2002.

T. Fernando, What is a drs? Integrating Semantic Theories II, p.79, 1994.

M. Fitting, First-order logic and automated theorem proving, p.43, 1996.

G. Forbes, The metaphysics of modality, 1985.

A. Frank, Context dependence in modal constructions, pp.262-263, 1997.

G. Frege and . 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, by s. bauer-mengelberg. VAN HEIJENOORT. From Frege to Gödel: a Source Book in Mathematical Logic, pp.1879-1921, 1931.

G. Frege, P. T. Geach, and M. Black, Translations from the Philosophical Writings of Gottlob Frege, p.42

V. Fromkin, Linguistics: An introduction to linguistic theory, 2000.

L. T. Gamut, Intensional Logic and Logical Grammar, Logic, Language, and Meaning, p.58, 1991.

M. Gardiner, Identifying and resolving one-anaphora. Unpublished Honours thesis, p.27, 2003.

T. Peter and . Geach, Reference and generality: An examination of some medieval and modern theories, pp.31-74, 1962.

B. Geurts, Book review. Communicating quantities. Linda M Moxey and Anthony J Sanford, Journal of Semantics, vol.14, issue.1, pp.87-94, 1997.
DOI : 10.1093/jos/14.1.87

B. Geurts, Presuppositions and pronouns, pp.88-259, 1999.

B. Geurts, Donkey business, Linguistics and Philosophy, vol.25, issue.2, pp.129-156, 2002.
DOI : 10.1023/A:1014624331450

B. Geurts, Anaphora, accessibility and bridging. Handbook of Semantics, forthcoming, pp.24-256, 2009.

B. Geurts, Accessibility and anaphora Semantics: an international handbook of natural language meaning, pp.1988-2011

B. Geurts and D. I. Beaver, Discourse representation theory The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, pp.94305-4115, 2011.

S. Brendan and . Gillon, Collectivity and distributivity internal to english noun phrases, Language Sciences, vol.18, issue.1, pp.443-468, 1996.

J. Girard, P. Taylor, and Y. Lafont, Proofs and types, p.59, 1989.

J. Groenendijk and M. Stokhof, Dynamic predicate logic, Linguistics and Philosophy, vol.12, issue.1, pp.39-100, 1991.
DOI : 10.1007/BF00628304

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

J. Barbara, C. L. Grosz, and . Sidner, Attention, intentions, and the structure of discourse, Computational linguistics, vol.12, issue.3, pp.175-204, 1986.

J. K. Gundel, N. Hedberg, and R. Zacharski, Pronouns without explicit antecedents: how do we know when a pronoun is referential Anaphora processing: linguistic , cognitive and computational modelling, pp.351-364, 2005.

V. Hacquard, Aspects of modality, p.182, 2006.

M. A. , K. Halliday, and R. Hasan, Cohesion in English. Longman, pp.15-73, 1976.

D. Harel, Dynamic logic, Handbook of Philosophical Logic, pp.497-604, 1984.

E. Susan, H. H. Haviland, and . Clark, What's new? acquiring new information as a process in comprehension, Journal of verbal learning and verbal behavior, vol.13, issue.5, pp.512-521, 1974.

J. A. Hawkins, Definiteness and indefiniteness: a study in reference and grammaticality prediction, p.33, 1978.

I. Heim, The semantics of definite and indefinite noun phrases, pp.75-77, 1982.

I. Heim, File change semantics and the familiarity theory of definiteness. Formal Semantics, pp.223-248, 1983.

I. Heim, Definiteness and indefiniteness Semantics: An international handbook of natural language and meaning, pp.996-1024, 2011.

I. Heim and A. Kratzer, Semantics in Generative Grammar, Blackwell, p.39, 1998.

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

J. Hintikka, Modality and Quantification, Theoria, vol.27, issue.3, pp.119-128, 1961.
DOI : 10.1111/j.1755-2567.1961.tb00020.x

J. Hintikka, Negation in logic and in natural language, Linguistics and Philosophy, vol.25, issue.5/6, pp.585-600, 2002.
DOI : 10.1023/A:1020895229197

G. Hirst, Anaphora in Natural Language Understanding: A Survey, volume 119 of Lecture Notes in Computer Science, pp.29-30, 1981.

J. R. Hobbs, On the coherence and structure of discourse. CSLI, p.236, 1985.

R. Holton, Propositional modal logic, Massachusetts Institute of Technology, pp.54-258, 2004.

C. Huang, A note on the binding theory, Linguistic Inquiry, pp.554-561, 1983.

Y. Huang, Discourse anaphora: Four theoretical models, Journal of Pragmatics, vol.32, issue.2, pp.151-176, 2000.
DOI : 10.1016/S0378-2166(99)00041-7

R. D. Huddleston and G. K. Pullum, The Cambridge Grammar of English, pp.29-30, 2002.

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

O. Jespersen, Essentials of English Grammar, George Allan & Unwin Ltd, p.128, 1933.

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

H. Kamp, Presupposition Computation and Presupposition Justification: One Aspect of the Interpretation of Multi-Sentence Discourse, Semantic and Pragmatic Issues in Discourse and Dialogue: Experimenting with Current Dynamic Theories, pp.57-84, 2000.
DOI : 10.1163/9789004252882_018

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. Kluwer Academic, pp.138-238, 1993.

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

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

M. Kanazawa, Weak vs. strong readings of donkey sentences and monotonicity inference in a dynamic setting, Linguistics and Philosophy, vol.13, issue.2, pp.109-158, 1994.
DOI : 10.1007/BF00984775

L. Karttunen, Discourse referents, Proceedings of the 1969 conference on Computational linguistics, pp.1-38, 1969.
DOI : 10.3115/990403.990490

L. Karttunen, Implicative verbs. Language, pp.340-358, 1971.
DOI : 10.2307/412084

S. Kaufmann, C. Condoravdi, and V. Harizanov, Formal approaches to modality. The expression of modality, pp.71-106, 2006.

B. Kaup and J. Lüdtke, Accessing discourse referents introduced in negated phrases: Evidence for accommodation? Pragmatics and Beyond New Series, pp.159-128, 2008.

J. Kelleher, F. Costello, and J. Van-genabith, Dynamically structuring, updating and interrelating representations of visual and linguistic discourse context, Artificial Intelligence, vol.167, issue.1-2, pp.62-102, 2005.
DOI : 10.1016/j.artint.2005.04.008

R. William and . Keller, Nested cooper storage: The proper treatment of quantification in ordinary noun phrases, p.116, 1988.

R. Kibble, Dynamics of epistemic modality and anaphora, International workshop on computational semantics, pp.121-130, 1994.

C. Jeffrey and . King, Anaphora: Philosophical aspects, Encyclopedia of Language & Linguistics, p.22, 2006.

C. Jeffrey, . King, and . Anaphora, The Stanford Encyclopedia of Philosophy. The Metaphysics Research Lab, Center for the Study of Language and Information, 94305-4115, pp.32-257, 2013.

. Stephen-cole-kleene, Introduction to Metamathematics, p.43, 1952.

M. Kracht, Compositionality: The Very Idea, Research on Language and Computation, vol.17, issue.3, pp.287-308, 2007.
DOI : 10.1007/s11168-007-9031-5

E. Krahmer and R. Muskens, Negation and Disjunction in Discourse Representation Theory, Journal of Semantics, vol.12, issue.4, pp.357-376, 1995.
DOI : 10.1093/jos/12.4.357

E. Krahmer and P. Piwek, Varieties of anaphora. Introduction, dies.(Hg.), Varieties of Anaphora. Reader ESSLLI, pp.1-15, 2000.

A. Kratzer, What ?must? and ?can? must and can mean, Linguistics and Philosophy, vol.1, issue.3, pp.337-355, 1977.
DOI : 10.1007/BF00353453

A. Kratzer, The notional category of modality. Words, worlds, and contexts, pp.38-74, 0196.

A. Kratzer and . Modality, Semantics, pp.639-650, 1991.
DOI : 10.1007/978-0-387-79948-3_4703

M. Krifka, Diskursrepräsentation und dynamische interpretation, pp.262-263, 2001.

. Saul-aaron-kripke, A completeness theorem in modal logic, Journal of Symbolic Logic, pp.1-14, 1959.

. Saul-aaron-kripke, Semantical analysis of modal logic i normal modal propositional calculi, Mathematical Logic Quarterly, vol.9, pp.5-667, 1963.

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

E. Le-pore and J. Garson, Pronouns and quantifier-scope in English, Journal of Philosophical Logic, vol.12, issue.3, pp.327-358, 1983.
DOI : 10.1007/BF00263482

E. Lebedeva, Expression de la dynamique du discours à l'aide de continuations, pp.9-215, 2012.
URL : https://hal.archives-ouvertes.fr/tel-00783245

G. Wilhelm and L. , Essais de théodicée sur la bonté de Dieu, la liberté de l'homme et l'origine du mal, Eichler, vol.1, pp.1840-54

G. Wilhelm and L. , Theodicy: Essays on the Goodness of God, the Freedom of Man And the Origin of Evil. Lightning Source Incorporated, p.54, 2006.

D. Lewis, Individuation by acquaintance and by stipulation. The Philosophical Review, pp.3-32, 1983.

K. David and . Lewis, On the plurality of worlds, p.54, 1986.

R. Henry-george-liddell, S. H. Scott, S. Jones, and R. Mckenzie, A Greek-English Lexicon: A New Edition Revised and Augmented Throughout by Sir Henry Stuart Jones, with the Assistance of Roderick McKenzie. 2 Vols, 1940.

S. Luperfoy, Discourse pegs: a computational analysis of context-dependent referring expressions, pp.31-257, 1991.

C. William, S. A. Mann, and . Thompson, Relational propositions in discourse, Discourse processes, pp.57-90, 1986.

R. Mitkov, Anaphora resolution: The state of the art. Unpublished Manuscript, p.40, 1999.
DOI : 10.1093/oxfordhb/9780199276349.013.0014

R. Montague, English as a formal language Linguaggi nella societae nella tecnica, pp.189-224, 1970.

R. Montague, Universal grammar, Theoria, vol.26, issue.3, pp.373-398, 1970.
DOI : 10.1111/j.1755-2567.1970.tb00434.x

R. Montague, The proper treatment of quantification in ordinary english, Approaches to Natural Language, pp.221-242, 1973.

R. Montague, Formal Philosophy: Selected papers of Richard Montague, p.42, 1974.

R. Muskens, Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, pp.143-186, 1996.
DOI : 10.1007/BF00635836

R. Nouwen, Complement Anaphora and Interpretation, Journal of Semantics, vol.20, issue.1, pp.73-113, 2003.
DOI : 10.1093/jos/20.1.73

URL : http://jos.oxfordjournals.org/cgi/content/short/20/1/73

R. Nouwen, Plural Pronominal Anaphora in Context: Dynamic Aspects of Quantification . LOT international series. LOT, 2003b. ISBN 9789076864457. URL http://books.google.fr/books?id=T2EcAQAAIAAJ, pp.32-262

B. Partee, Lecture 5: Introduction to issues in anaphora Russian State University for the Humanities, pp.35-256, 2008.

B. Hall and P. , Opacity, coreference, and pronouns, Semantics of natural language, pp.415-441, 1973.

B. Hall and P. , Bound variables and other anaphors, Proceedings of the 1978 workshop on Theoretical issues in natural language processing, pp.79-85, 1978.

M. Poesio, S. Ponzetto, and Y. Versley, Computational models of anaphora resolution: A survey. Linguistic Issues in Language Technology, pp.24-40, 2011.

L. Polanyi, A formal model of the structure of discourse, Journal of Pragmatics, vol.12, issue.5-6, pp.601-638, 1988.
DOI : 10.1016/0378-2166(88)90050-1

C. Pollard and I. A. Sag, Head-driven phrase structure grammar, p.39, 1994.

P. Postal, Anaphoric islands, Chicago Linguistic Society, pp.205-239, 1969.

R. Vaughan and . Pratt, Semantical consideration on floyo-hoare logic, Foundations of Computer Science 17th Annual Symposium on, pp.109-121, 1976.

E. F. Prince, The ZPG Letter, pp.295-325, 1992.
DOI : 10.1075/pbns.16.12pri

S. Qian and M. Amblard, Event in Compositional Dynamic Semantics, Logical Aspects of Computational Linguistics, pp.219-234, 2011.
DOI : 10.1007/978-3-642-22221-4_15

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

S. Qian and M. Amblard, Accessibility for Plurals in Continuation Semantics, In New Frontiers in Artificial Intelligence, pp.53-68
DOI : 10.1007/978-3-642-39931-2_5

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

W. Van-orman-quine, Quantifiers and Propositional Attitudes, The Journal of Philosophy, vol.53, issue.5, pp.177-187, 1956.
DOI : 10.2307/2022451

R. Quirk, D. Crystal, and P. Education, A comprehensive grammar of the English language, p.25, 1985.

T. Reinhart, Coreference and bound anaphora: A restatement of the anaphora questions, Linguistics and Philosophy, vol.8, issue.1, pp.47-88, 1983.
DOI : 10.1007/BF00868090

T. Reinhart, Anaphora and semantic interpretation, p.36, 1984.

T. Reinhart and . Anaphora, The MIT encyclopedia of the cognitive sciences, p.22, 1999.

C. Roberts, Modal subordination, anaphora, and distributivity, p.135, 0190.
DOI : 10.1007/bf00632602

C. Roberts, Modal subordination and pronominal anaphora in discourse, Linguistics and Philosophy, vol.7, issue.6, pp.683-721, 1989.
DOI : 10.1007/BF00632602

J. Roger, H. , and J. P. Seldin, Introduction to Combinators and ?-calculus, CUP Archive, vol.1, p.59, 1986.

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

B. Russell, Introduction to Mathematical Philosophy. Spokesman Books, p.73, 2008.

E. Sapir, Language: An Introduction to the Study of Speech, p.11, 1921.
DOI : 10.1017/CBO9781139629430

A. J. Schoubye, Epistemic modality and natural language, p.190, 2011.

P. Sells, Restrictive and non-restrictive modification Center for the Study of Language and Information, p.263, 1985.

P. A. and M. Seuren, The Logic of Language: Language From Within, p.75, 2009.
DOI : 10.1093/acprof:oso/9780199559480.001.0001

C. Shan, Delimited continuations in natural language: Quantification and polarity sensitivity. arXiv preprint cs/0404006, p.93, 2004.

M. Simons, Disjunction and anaphora, Proceedings of SALT, pp.245-260, 1996.

R. M. Smullyan, First-Order Logic, p.43, 1968.
DOI : 10.1201/b10689-23

S. Soames, Truth, meaning, and understanding, Philosophical Studies, vol.65, issue.1-2, pp.17-35, 1992.
DOI : 10.1007/BF00571314

W. B. Starr, Kratzer on modality in natural language, pp.181-261

M. Stone, Reference to possible worlds, 1999.

C. Strachey and C. P. Wadsworth, Continuations: A mathematical semantics for handling full jumps, Programming Research Group (Oxford), pp.71-93, 1974.

F. Peter and . Strawson, On referring. Mind, pp.59320-344, 1950.

A. Tarski, The Semantic Conception of Truth: and the Foundations of Semantics, Philosophy and Phenomenological Research, vol.4, issue.3, pp.341-376, 1944.
DOI : 10.2307/2102968

A. Tarski, The concept of truth in formalized languages. Logic, semantics, metamathematics, pp.152-278, 1956.

F. A. Johan and . Van-benthem, Essays in logical semantics. Number 29 in Studies in linguistics and philosophy, p.67, 1986.

F. A. Johan and . Van-benthem, The semantics of variety in categorial grammar. Categorial grammar, pp.37-55, 1988.

K. Van-deemter, Towards a Generalization of Anaphora, Journal of Semantics, vol.9, issue.1, pp.27-51, 1992.
DOI : 10.1093/jos/9.1.27

R. Van and . Sandt, Presupposition projection as anaphora resolution, Journal of semantics, vol.9, issue.4, pp.333-377, 1992.

J. Van-eijck and H. Kamp, Representing discourse in context. Handbook of logic and language, pp.179-237, 1997.

R. Van and R. , A modal analysis of presupposition and modal subordination, Journal of Semantics, vol.22, issue.3, pp.281-305, 2005.

F. M. Cees and . Vermeulen, Merging without mystery or: Variables in dynamics semantics, Journal of Philosophical Logic, vol.24, issue.4, pp.405-450, 1995.

F. Kai-von, Modality and language Encyclopedia of philosophy -second edition, pp.181-258, 2006.

K. Von, F. , and I. Heim, Intensional semantics. University Lecture, Massachusetts Institute of Technology, p.188, 2011.

K. V. Heusinger, Specificity and Definiteness in Sentence and Discourse Structure, Journal of Semantics, vol.19, issue.3, pp.245-274, 2002.
DOI : 10.1093/jos/19.3.245

B. L. Webber, A formal approach to discourse anaphora In Outstanding dissertations in linguistics, p.30, 1979.

. Wikipedia, Cataphora ? Wikipedia, the free encyclopedia, 2014. URL http://en. wikipedia.org/wiki/Cataphora, pp.25-256

T. Williamson, Knowledge and its Limits, p.188, 2002.
DOI : 10.1093/019925656X.001.0001

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