{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:27:21Z","timestamp":1725492441857},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665373"},{"type":"electronic","value":"9783540481676"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48167-2_2","type":"book-chapter","created":{"date-parts":[[2007,10,5]],"date-time":"2007-10-05T03:40:19Z","timestamp":1191555619000},"page":"19-32","source":"Crossref","is-referenced-by-count":0,"title":["Communication Modelling and Context-Dependent Interpretation: An Integrated Approach"],"prefix":"10.1007","author":[{"given":"Ren\u00e9","family":"Ahn","sequence":"first","affiliation":[]},{"given":"Tijn","family":"Borghuis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,5,11]]},"reference":[{"key":"2_CR1","series-title":"Lect Notes Comput Sci","volume-title":"The proceedings of the BRA workshop: Types of Proofs and Programs","author":"R. Ahn","year":"1994","unstructured":"Ahn, R.: 1994, Communicating contexts: A pragmatic approach to information exchange, in P. Dybjer, B. Nordstr\u00f6m, and J. Smith (eds.), The proceedings of the BRA workshop: Types of Proofs and Programs, Vol. 996 of Springer Lecture Notes in Computer Science, Springer Verlag, Berlin"},{"issue":"8","key":"2_CR2","first-page":"19","volume":"5","author":"R. Ahn","year":"1994","unstructured":"Ahn, R. et al.: 1994, The denk-architecture: A fundamental approach to userinterfaces, Artificial Intelligence Review 5(8) 19, 32","journal-title":"Artificial Intelligence Review"},{"key":"2_CR3","volume-title":"Handbook of Logic in Computer Science","author":"H. Barendregt","year":"1992","unstructured":"Barendregt, H.: 1992, Lambda calculi with types, in S. Abramsky, D. Gabbay, and T. Maibaum (eds.), Handbook of Logic in Computer Science, Oxford University Press, Oxford 21, 27"},{"key":"2_CR4","unstructured":"Beun, R. and Kievit, L.: 1996, Resolving definite expressions in DenK, in Proceedings of the 5th International Pragmatics Conference, Mexico City 32"},{"key":"2_CR5","unstructured":"De Bruijn, N.: 1980, A survey of the project automath, in J. Seldin and J. Hindley (eds.), To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalisms, pp 589\u2013606, Academic Press 22"},{"key":"2_CR6","volume-title":"Context-driven Natural Language Interpretation","author":"L. Kievit","year":"1998","unstructured":"Kievit, L.:1998, Context-driven Natural Language Interpretation, Ph.D. thesis, Tilburg University, Tilburg 25, 32"},{"key":"2_CR7","volume-title":"Papers from the Second Symposium on Logic and Language","author":"P. M\u00e4enp\u00e4\u00e4","year":"1990","unstructured":"M\u00e4enp\u00e4\u00e4, P. and Ranta, A.: 1990, An implementation of intuitionistic categorial grammar, in L. K\u00e1lm\u00e1n and L. P\u00f3los (eds.), Papers from the Second Symposium on Logic and Language, Akademiai Kiado, Budapest 25"},{"key":"2_CR8","volume-title":"Logic, Information & Conversation","author":"P. Piwek","year":"1998","unstructured":"Piwek, P.: 1998, Logic, Information & Conversation, Ph.D. thesis, Eindhoven University of Technology, Eindhoven 32"}],"container-title":["Lecture Notes in Computer Science","Types for Proofs and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48167-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T18:35:18Z","timestamp":1550946918000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48167-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665373","9783540481676"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-48167-2_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}