S. E. Brennan, Processes that shape conversation and their implications for computational linguistics, Proceedings of the 38th Annual Meeting on Association for Computational Linguistics , ACL '00, pp.1-11, 2000.
DOI : 10.3115/1075218.1075219

S. Chatzikyriakidis and Z. Luo, Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond, Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pp.37-45, 2014.
DOI : 10.3115/v1/W14-1405

R. Cooper, Records and Record Types in Semantic Theory, Journal of Logic and Computation, vol.15, issue.2, pp.99-112, 2005.
DOI : 10.1093/logcom/exi004

A. Copestake, Robust minimal recursion semantics, 2006.
DOI : 10.3115/1608912.1608925

A. Copestake, Semantic composition with (robust) minimal recursion semantics, Proceedings of the Workshop on Deep Linguistic Processing, DeepLP '07, pp.73-80, 2007.
DOI : 10.3115/1608912.1608925

M. Egg, A. Koller, and J. Niehren, The constraint language for lambda structures, Journal of Logic, Language and Information, vol.10, issue.4, pp.457-485, 2001.
DOI : 10.1023/A:1017964622902

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

A. Eshghi, J. Hough, and M. Purver, Incremental grammar induction from child-directed dialogue utterances, The Fourth Annual CMCL Workshop, pp.94-103, 2013.

J. Ginzburg, The Interactive Stance: Meaning for Conversation, 2012.
DOI : 10.1093/acprof:oso/9780199697922.001.0001

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

J. Hough and M. Purver, Processing self-repairs in an incremental type-theoretic dialogue system, Proceedings of the 16th SemDial Workshop (SeineDial), pp.136-144, 2012.

J. Hough and M. Purver, Probabilistic Type Theory for Incremental Dialogue Processing, Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pp.80-88, 2014.
DOI : 10.3115/v1/W14-1410

C. Howes, M. Purver, P. G. Healey, G. Mills, and E. Gregoromichelaki, On Incrementality in Dialogue: Evidence from Compound Contributions, Dialogue & Discourse, vol.2, issue.1, pp.279-311, 2011.
DOI : 10.5087/dad.2011.111

R. Kempson, R. Cann, A. Eshghi, E. Gregoromichelaki, and M. Purver, Ellipsis, Handbook of Contemporary Semantic Theory, 2015.
DOI : 10.1002/9781118882139.ch4

R. Kempson, W. Meyer-viol, and D. Gabbay, Dynamic Syntax: The Flow of Language Understanding, 2001.

C. Kennington, S. Kousidis, and D. Schlangen, Interpreting Situated Dialogue Utterances: an Update Model that Uses Speech, Gaze, and Gesture Information, SIGdial 2013, 2013.

W. J. Levelt, Speaking: From intention to articulation, 1989.

D. Milward, Axiomatic Grammar, Non-Constituent Coordination and Incremental Interpretation, 1991.

G. Neumann, Interleaving natural language parsing and generation through uniform processing, Artificial Intelligence, vol.99, issue.1, pp.121-163, 1998.
DOI : 10.1016/S0004-3702(97)00072-6

A. Peldszus, O. Buß, T. Baumann, and D. Schlangen, Joint Satisfaction of Syntactic and Pragmatic Constraints Improves Incremental Spoken Language Understanding, Proceedings of the 13th EACL, pp.514-523, 2012.

M. Poesio and D. Traum, Conversational Actions and Discourse Situations, Computational Intelligence, vol.13, issue.3, 1997.
DOI : 10.1111/0824-7935.00042

M. Purver, A. Eshghi, and J. Hough, Incremental semantic construction in a dialogue system, Proceedings of the 9th IWCS, pp.365-369, 2011.

B. Roark, Robust Probabilistic Predictive Syntactic Processing: Motivations, Models, and Applications, 2001.

D. Schlangen and G. Skantze, "A General, Abstract Model of Incremental Dialogue Processing", Dialogue & Discourse, vol.2, issue.1, pp.83-111, 2011.
DOI : 10.5087/dad.2011.105

M. Schlesewsky and I. Bornkessel, On incremental interpretation: degrees of meaning accessed during sentence comprehension, Lingua, vol.114, issue.9-10, pp.1213-1234, 2004.
DOI : 10.1016/j.lingua.2003.07.006

S. M. Shieber, The problem of logical-form equivalence, Computational Linguistics, vol.19, issue.1, pp.179-190, 1993.

G. Skantze and A. Hjalmarsson, Towards incremental speech generation in dialogue systems, Proceedings of the 11th Annual Meeting of SIGDIAL, pp.1-8, 2010.

G. Skantze and D. Schlangen, Incremental dialogue processing in a micro-domain, Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics on, EACL '09, pp.745-753, 2009.
DOI : 10.3115/1609067.1609150

M. Steedman, Taking scope: The natural semantics of quantifiers, 2012.
DOI : 10.7551/mitpress/9780262017077.001.0001

R. S. Sundaresh and P. Hudak, A theory of incremental computation and its application, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '91, pp.1-13, 1991.
DOI : 10.1145/99583.99587