C. Barker, Continuations and the nature of quantification, Natural Language Semantics, vol.10, issue.3, pp.211-242, 2002.
DOI : 10.1023/A:1022183511876

A. Bauer and M. Pretnar, Programming with algebraic effects and handlers, Journal of Logical and Algebraic Methods in Programming, vol.84, issue.1, pp.108-123, 2015.
DOI : 10.1016/j.jlamp.2014.02.001

E. Brady, Programming and reasoning with algebraic effects and dependent types, In: ACM SIGPLAN Notices, 2013.

S. Charlow, On the semantics of exceptional scope, 2014.

P. De-groote, Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, 2001.
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529

P. De-groote, Type raising, continuations, and classical logic, Proceedings of the thirteenth Amsterdam Colloquium, 2001.

P. De-groote, Towards a montagovian account of dynamics, Proceedings of SALT, 2006.

G. Giorgolo and A. Asudeh, Natural language semantics with enriched meanings, 2015.

P. De-groote, On Logical Relations and Conservativity, NLCS'15. Third Workshop on Natural Language and Computer Science, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01188619

J. Hobbs and S. Rosenschein, Making computational sense of Montague's intensional logic, Artificial Intelligence, vol.9, issue.3, pp.287-306, 1977.
DOI : 10.1016/0004-3702(77)90025-X

O. Kammar, S. Lindley, and N. Oury, Handlers in action, In: ACM SIGPLAN Notices, 2013.

H. Kamp and U. Reyle, From discourse to logic, 1993.

O. Kiselyov, Applicative abstract categorial grammars, Proceedings of the Third Workshop on Natural Language and Computer Science, 2015.

O. Kiselyov, A. Sabry, and C. Swords, Extensible effects, Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, Haskell '13, 2013.
DOI : 10.1145/2503778.2503791

O. Kiselyov and C. C. Shan, Lambda: the ultimate syntax-semantics interface, 2010.

J. W. Klop, V. Van-oostrom, and F. Van-raamsdonk, Combinatory reduction systems: introduction and survey, Theoretical computer science, 1993.
DOI : 10.1016/0304-3975(93)90091-7

J. W. Klop, Term rewriting systems. Handbook of logic in computer science, pp.1-116, 1992.

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

J. Mar?ík and M. Amblard, Algebraic Effects and Handlers in Natural Language Interpretation, In: Natural Language and Computer Science, 2014.

E. Meijer, M. Fokkinga, and R. Paterson, Functional programming with bananas, lenses, envelopes and barbed wire, In: Functional Programming Languages and Computer Architecture, 1991.
DOI : 10.1007/3540543961_7

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

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

C. Potts, The logic of conventional implicatures, 2005.

M. Pretnar, Logic and handling of algebraic effects, 2010.

S. Qian and M. Amblard, Event in Compositional Dynamic Semantics, Logical Aspects of Computational Linguistics, 2011.
DOI : 10.1007/978-3-642-22221-4_15
URL : https://hal.archives-ouvertes.fr/hal-00601620

C. Shan, Monads for natural language semantics, p.205026, 2002.

C. Shan, Linguistic side effects, 2005.

J. Van-eijck and C. Unger, Computational semantics with functional programming, 2010.
DOI : 10.1017/CBO9780511778377
URL : https://hal.archives-ouvertes.fr/inria-00535867

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