, Chapter

]. S. Afantenos, N. Asher, F. Benamara, M. Bras, C. Fabre et al., Bibliography

N. Asher and S. Pogodalla, A montagovian treatment of modal subordination, Proceedings of SALT, pp.387-405, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00565616

N. Asher and S. Pogodalla, Sdrt and continuation semantics In New Frontiers in Artificial Intelligence JSAI-isAI 2010 Workshops, pp.3-15, 2010.

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

E. William and . Byrd, Relational programming in minikanren: techniques, applications , and implementations, 2010.

P. and D. 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. and D. Groote, Towards a montagovian account of dynamics, Proceedings of SALT, pp.1-16, 2006.

P. De-groote, B. Guillaume, and S. Salvati, Vector addition tree automata, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., pp.64-73, 2004.
DOI : 10.1109/LICS.2004.1319601

P. De, G. , and S. Maarek, Type-theoretic extensions of abstract categorial grammars. ESSLLI, p.19, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00187759

P. De-groote, S. Maarek, and R. Yoshinaka, On Two Extensions of Abstract Categorial Grammars, Logic for Programming, Artificial Intelligence, and Reasoning, pp.273-287, 2007.
DOI : 10.1007/978-3-540-75560-9_21

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

D. Duchier, Y. Parmentier, and S. Petitjean, Metagrammars as logic programs, 7th International Conference on Logical Aspects of Computational Linguistics, pp.1-4, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00696562

B. Guillaume, J. L. Roux, J. Marchand, G. Perrier, K. Fort et al., A toolchain for grammarians, 22nd International Conference on on Computational Linguistics: Demonstration Papers, pp.153-156, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00336333

B. Guillaume and G. Perrier, Interaction Grammars, Research on Language and Computation, vol.18, issue.4, pp.171-208, 2009.
DOI : 10.1016/j.lingua.2003.09.006

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

H. Kamp and U. Reyle, From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Number 42, 1993.

M. Kanazawa, Parsing and generation as datalog queries, AN- NUAL MEETING-ASSOCIATION FOR COMPUTATIONAL LINGUIS- TICS, p.176, 2007.

M. Ronald, J. Kaplan, and . Bresnan, Lexical-functional grammar: A formal system for grammatical representation. Formal Issues in Lexical- Functional Grammar, pp.29-130, 1982.

R. Montague, The proper treatment of quantification in ordinary english

R. Moot, Categorial grammars and wide-coverage semantics with grail, 2012.
DOI : 10.1007/978-3-642-21490-5_3

P. Joseph, . Near, E. William, . Byrd, P. Daniel et al., ? lean tap: A declarative theorem prover for first-order classical logic, Logic Programming, pp.238-252, 2008.

G. Perrier, From intuitionistic proof nets to interaction grammars, 1999.
URL : https://hal.archives-ouvertes.fr/inria-00098793

G. Perrier, Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions, Logic for Programming, Artificial Intelligence , and Reasoning, pp.233-248, 2001.
DOI : 10.1007/3-540-45653-8_16

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

G. Perrier, A french interaction grammar, International Conference on Recent Advances in Natural Language Processing-RANLP 2007, pp.463-467, 2007.
DOI : 10.15398/jlm.v3i1.93

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

S. Pogodalla, Generalizing a proof-theoretic account of scope ambiguity, 7th International Workshop on Computational Semantics, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00112898

S. Pogodalla and F. Pompigne, Controlling Extraction in Abstract Categorial Grammars, Formal Grammar, pp.162-177, 2012.
DOI : 10.1007/978-3-642-32024-8_11

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

S. Qian and M. Amblard, Event in Compositional Dynamic Semantics, Logical Aspects of Computational Linguistics, pp.219-234, 2011.
DOI : 10.1016/0378-2166(88)90050-1

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

S. Salvati, Problemes de filtrage et problemes d'analyse pour les grammaires catégorielles abstraites, These de Doctorat. Institut National Polytechnique de Lorraine, 2005.

P. Van, R. , and S. Haridi, Concepts, techniques, and models of computer programming, 2004.

R. Yoshinaka and M. Kanazawa, The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars, Logical Aspects of Computational Linguistics, pp.330-346, 2005.
DOI : 10.1007/11422532_22