Since ? ; preserves denotations, then Because of M ; N ? ; M , we know that for every e, M (e) is ?-less and therefore so is C[R ? ](e) Since C[R ? ](e) is ?-less for all e ,
We immediately have b = N ? = ; N = d. By the same argument is in the previous case For M ; N to have reduced to N , M (e) must have not been ?-less for any e, the same being the case for C, Because C[R ? ](e) is not ?-less for any e, we have c = C[R ? ]; N ? ; N = d ,
Monad classes, using functional dependencies, pp.2016-2023 ,
Structure and interpretation of computer programs, 1996. ,
Crossing the appositive / at-issue meaning boundary, Semantics and Linguistic Theory, pp.328-346, 2010. ,
DOI : 10.3765/salt.v20i0.2551
Towards indexed algebraic effects and handlers. The 3rd ACM SIGPLAN Workshop on Higher-Order Programming with Effects, 2014. ,
Higher-order (non-) modularity. Logic Group Preprint Series, pp.1-26, 2010. ,
Logics of conversation, 2003. ,
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums, ACM SIGPLAN Notices, vol.39, issue.1, pp.64-76, 2004. ,
DOI : 10.1145/982962.964007
URL : https://hal.archives-ouvertes.fr/hal-00149561
The lambda calculus: its syntax and semantics. Studies in logic and the foundations of mathematics, 1984. ,
Continuations in natural language, 2006. ,
DOI : 10.1093/acprof:oso/9780199575015.001.0001
Continuations and the nature of quantification. Natural language semantics, pp.211-242, 2002. ,
Monads for natural language, 2015. ,
Continuations and natural language ,
DOI : 10.1093/acprof:oso/9780199575015.001.0001
Lambda the ultimate ? programming with algebraic effects and handlers, 2012. ,
DOI : 10.1016/j.jlamp.2014.02.001
URL : http://arxiv.org/pdf/1203.1539
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
URL : http://arxiv.org/pdf/1203.1539
Presupposition The Stanford Encyclopedia of Philosophy, 2014. ,
The semantics of intensionalization. ESSLLI, pp.98-246, 2007. ,
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
Inductive-data-type systems, Theoretical Computer Science, vol.272, issue.1-2, pp.41-68, 2002. ,
DOI : 10.1016/S0304-3975(00)00347-9
URL : https://hal.archives-ouvertes.fr/inria-00105578
Implicit arguments: event modification or option type categories? In Logic, Language and Meaning, pp.240-250, 2012. ,
DOI : 10.1007/978-3-642-31482-7_25
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.294.9065
Programming and reasoning with algebraic effects and dependent types, Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, pp.133-144, 2013. ,
DOI : 10.1145/2500365.2500581
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.1364
Extensible denotational language specifications, Theoretical Aspects of Computer Software, pp.244-272, 1994. ,
DOI : 10.1007/3-540-57887-0_99
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.25.5941
Back to events: More on the logic of verbal modification. University of Pennsylvania Working Papers in Linguistics, p.7, 2015. ,
The interaction of compositional semantics and event semantics, Linguistics and Philosophy, vol.24, issue.2, pp.31-66, 2015. ,
DOI : 10.1023/A:1005690022190
On the semantics of exceptional scope, 2014. ,
Conventional implicature as a scope phenomenon. Workshop on continuations and scope, 2015. ,
The grammar of exceptional scope. Colloquium, 2015. ,
Monadic dynamic semantics for anaphora Invited talk, Dynamic Semantics: Modern type theoretic and category theoretic approaches, 2015. ,
Monads, applicative functors, and scope. ESSLLI 2015 ? Monads for Natural Language, 2015. ,
A functional abstraction of typed contexts, Univ, 1989. ,
Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the church-rosser theorem, Indagationes Mathematicae (Proceedings), volume, pp.381-392, 1972. ,
Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics, pp.252-259, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100529
Type raising, continuations, and classical logic, Proceedings of the thirteenth Amsterdam Colloquium, 2001. ,
Tree-adjoining grammars as abstract categorial grammars, TAG+6, Proceedings of the sixth International Workshop on Tree Adjoining Grammars and Related Frameworks, pp.145-150, 2002. ,
Towards a montagovian account of dynamics, Proceedings of SALT, 2006. ,
A note on intensionalization, Journal of Logic, Language and Information, vol.22, issue.2, pp.173-194, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909207
Effective concurrency through algebraic effects, OCaml Users and Developers Workshop, 2015. ,
Semantics engineering with PLT Redex, 2009. ,
Abstract continuations: a mathematical semantics for handling full jumps, Proceedings of the 1988 ACM conference on LISP and functional programming , LFP '88, pp.52-62, 1988. ,
DOI : 10.1145/62678.62684
Representing monads, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '94, pp.446-457, 1994. ,
DOI : 10.1145/174675.178047
Abstract syntax and variable binding, 2003. ,
Quotation in context, Belgian Journal of Linguistics, vol.17, issue.1, pp.109-128, 2003. ,
Monads for conventional implicatures, Proceedings of sinn und bedeutung, pp.265-278, 2012. ,
Monads as a Solution for Generalized Opacity, Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), p.19, 2014. ,
DOI : 10.3115/v1/W14-1403
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.1665
Natural language semantics with enriched meanings, 2015. ,
Multidimensional semantics with unidimensional glue logic, Proceedings of LFG11, pp.236-256, 2011. ,
Coreference without discourse referents: a nonrepresentational drt-like discourse semantics, LOT Occasional Series, vol.14, pp.69-81, 2009. ,
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=10.1.1.37.2292
Use-conditional meaning: Studies in multidimensional semantics, OUP Oxford, 2015. ,
DOI : 10.1093/acprof:oso/9780198723820.001.0001
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
Compiling links effect handlers to the ocaml backend, ML Workshop, 2016. ,
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
Tarski's truth definitions The Stanford Encyclopedia of Philosophy, 2014. ,
Generalising monads to arrows, Science of Computer Programming, vol.37, issue.1-3, pp.67-111, 2000. ,
DOI : 10.1016/S0167-6423(99)00023-4
URL : http://doi.org/10.1016/s0167-6423(99)00023-4
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
Functional programming with overloading and higher-order polymorphism, International School on Advanced Functional Programming, pp.97-136, 1995. ,
Haskell 98 language and libraries: the revised report, 2003. ,
Handlers in action, Proceedings of the 18th ACM SIGPLAN international conference on Functional programming, pp.145-158, 2013. ,
DOI : 10.1145/2500365.2500590
From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Number 42, 1993. ,
Parsing and generation as datalog queries, Annual Meeting-Association for Computational Linguistics, p.176, 2007. ,
Nested cooper storage: The proper treatment of quantification in ordinary noun phrases, Natural language parsing and linguistic theories, pp.432-447, 1988. ,
Call-by-name linguistic side effects, ESSLLI 2008 Workshop on Symmetric calculi and Ludics for the semantic interpretation, 2008. ,
Applicative abstract categorial grammars, Proceedings of the Third Workshop on Natural Language and Computer Science, 2015. ,
DOI : 10.1007/978-3-319-50953-2_6
Applicative Abstract Categorial Grammars in Full Swing, Proceedings of the Twelth Workshop on Logic and Engineering of Natural Language Semantics, 2015. ,
DOI : 10.1007/978-3-319-50953-2_6
Freer monads, more extensible effects, ACM SIGPLAN Notices, pp.94-105, 2015. ,
DOI : 10.1145/2887747.2804319
Extensible effects, Proceedings of the 2013 ACM SIGPLAN symposium on Haskell, Haskell '13, pp.59-70, 2013. ,
DOI : 10.1145/2503778.2503791
Lambda: the ultimate syntax-semantics interface, 2010. ,
Eff directly in ocaml, ML Workshop, 2016. ,
Introduction to metamathematics, 1952. ,
Term rewriting systems. Handbook of logic in computer science, pp.1-116, 1992. ,
Combinatory reduction systems: introduction and survey. Theoretical computer science, pp.279-308, 1993. ,
DOI : 10.1016/0304-3975(93)90091-7
URL : http://doi.org/10.1016/0304-3975(93)90091-7
Un théoreme sur les fonctions d'ensembles, Ann. Soc. Polon. Math, vol.6, issue.133, p.2013134, 1928. ,
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
A type-theoretic semantics for lambda-drt, Proceedings of the Tenth Amsterdam Colloquium, 1995. ,
Expression de la dynamique du discours à l'aide de continuations, 2012. ,
URL : https://hal.archives-ouvertes.fr/tel-00783245
In The handbook of pragmatics, pp.97-121, 2004. ,
A subsuming paradigm General semantics Monad transformers and modular interpreters, Typed Lambda Calculi and Applications Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp.228-24318, 1970. ,
Exceptions are strictly more powerful than call/cc, 1995. ,
Algebraic effects and effect handlers for idioms and arrows, Proceedings of the 10th ACM SIGPLAN workshop on Generic programming, WGP '14, pp.47-58, 2014. ,
DOI : 10.1145/2633628.2633636
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.465.8321
Do be do be do, 2016. ,
DOI : 10.1145/3009837.3009897
Categories for the working mathematician, 1978. ,
Algebraic effects and handlers in natural language interpretation, Natural Language and Computer Science. Center for Informatics and Systems of the University of Coimbra, 2014. ,
A Dynamic Categorial Grammar, International Conference on Formal Grammar, pp.138-154, 2014. ,
DOI : 10.1007/978-3-662-44121-3_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.6658
Applicative programming with effects, Journal of Functional Programming, vol.18, issue.01, pp.1-13, 2008. ,
DOI : 10.1017/S0956796800003658
A basis for a mathematical theory of computation, preliminary report In Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference, pp.225-238, 1961. ,
Functional programming with bananas, lenses, envelopes and barbed wire, Functional Programming Languages and Computer Architecture, pp.124-144, 1991. ,
DOI : 10.1007/3540543961_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.125
An abstract view of programming languages, 1990. ,
Notions of computation and monads. Information and computation, pp.55-92, 1991. ,
DOI : 10.1016/0890-5401(91)90052-4
URL : http://doi.org/10.1016/0890-5401(91)90052-4
English as a formal language, Linguaggi nella societae nella tecnica, pp.189-224, 1970. ,
Universal grammar, Theoria, vol.26, issue.3, pp.373-398, 1970. ,
DOI : 10.5840/monist19695327
The proper treatment of quantification in ordinary english, 1973. ,
Combining Montague semantics and discourse representation, Linguistics and Philosophy, vol.12, issue.2, pp.143-186, 1996. ,
DOI : 10.1007/978-94-011-1715-9
Lambda grammars and the syntax-semantics interface, Proceedings of the Thirteenth Amsterdam Colloquium, pp.150-155, 2001. ,
Dynamic semantics The Stanford Encyclopedia of Philosophy, 2016. ,
The linguistics of punctuation. Number 18. Center for the Study of Language (CSLI), 1990. ,
Handlers of Algebraic Effects, Programming Languages and Systems, pp.80-94, 2009. ,
DOI : 10.1007/978-3-642-00590-9_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.143.9808
Handling algebraic effects. arXiv preprint, 2013. ,
Generalizing a proof-theoretic account of scope ambiguity, 7th International Workshop on Computational Semantics, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00112898
Controlling Extraction in Abstract Categorial Grammars, Formal Grammar, 2012. ,
DOI : 10.1007/978-3-642-32024-8_11
URL : https://hal.archives-ouvertes.fr/inria-00565629
Convergent grammar, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00390490
The logic of conventional implicatures, 2005. ,
The dimensions of quotation. Direct compositionality, pp.405-431, 2007. ,
Logic and handling of algebraic effects, 2010. ,
Accessibility of Referents in Discourse Semantics, 2014. ,
URL : https://hal.archives-ouvertes.fr/tel-01104091
Modal subordination and pronominal anaphora in discourse, Linguistics and Philosophy, vol.7, issue.6, pp.683-721, 1989. ,
DOI : 10.1007/BF00632602
Monads for natural language semantics. arXiv preprint cs, 2002. ,
Delimited continuations in natural language: Quantification and polarity sensitivity . arXiv preprint cs/0404006, 2004. ,
Linguistic side effects, Proceedings of the Eighteenth Annual IEEE Symposium on Logic and Computer Science (LICS 2003) Workshop on Logic and Computational, pp.132-163, 2005. ,
Linguistic side effects, 2005. ,
Inverse Scope as Metalinguistic Quotation in Operational Semantics, Annual Conference of the Japanese Society for Artificial Intelligence, pp.123-134, 2007. ,
DOI : 10.1007/978-3-540-78197-4_13
A static simulation of dynamic delimited control. Higher-Order and Symbolic Computation, pp.371-401, 2007. ,
The character of quotation, Linguistics and Philosophy, vol.42, issue.5, pp.417-443, 2010. ,
DOI : 10.1016/j.pragma.2010.04.024
Explaining Crossover and Superiority as Left-to-right Evaluation, Linguistics and Philosophy, vol.2, issue.4, pp.91-134, 2006. ,
DOI : 10.1007/3-540-15648-8_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.184.734
Teach yourself scheme in fixnum days Voir http, 1998. ,
Data types ? la carte, Journal of Functional Programming, vol.18, issue.04, pp.423-436, 2008. ,
DOI : 10.1093/acprof:oso/9780198568612.001.0001
The Stanford Encyclopedia of Philosophy, 2013. ,
Intensional interpretations of functionals of finite type i. The journal of symbolic logic, pp.198-212, 1967. ,
A lattice-theoretical fixpoint theorem and its applications, Pacific Journal of Mathematics, vol.5, issue.2, pp.285-309, 1955. ,
DOI : 10.2140/pjm.1955.5.285
Arithmetical extensions of relational systems, pp.81-102, 1986. ,
Dynamic Semantics as Monadic Computation, JSAI International Symposium on Artificial Intelligence, pp.68-81, 2011. ,
DOI : 10.1007/978-3-642-32090-3_7
URL : https://pub.uni-bielefeld.de/download/2485053/2674843
Dynamic Semantics as Monadic Computation, Proceedings of the 8th International Workshop on Logic and Engineering of Natural Language Semantics, p.2012 ,
DOI : 10.1007/978-3-642-32090-3_7
URL : https://pub.uni-bielefeld.de/download/2485053/2674843
Presupposition projection as anaphora resolution, Journal of semantics, vol.9, issue.4, pp.333-377, 1992. ,
Parsimonious semantic representations with projection pointers, Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013)?Long Papers, pp.252-263, 2013. ,
Recursive types for free, 1990. ,
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
Transformers, handlers in disguise Haskell eXchange 2015, recording at https: //skillsmatter.com/skillscasts/6733-transformers-handlers-in-disguise, 2015. ,
List of Examples (24) (c 0 ) Maybe (c 1 ) Wilma thinks that (c 2 ) her husband is having an affair, p.181 ,
En suivant la théorie des implicatures conventionnelles de Potts [108], élaborée par Gutzmann [54], on introduit une deuxième dimension du sens dans laquelle on va noter l'attitude négative de l'interlocuteur envers l'objet ,