{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T18:21:20Z","timestamp":1648750880456},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2010,3,26]],"date-time":"2010-03-26T00:00:00Z","timestamp":1269561600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2011,1]]},"DOI":"10.1007\/s10849-010-9123-8","type":"journal-article","created":{"date-parts":[[2010,3,25]],"date-time":"2010-03-25T00:33:41Z","timestamp":1269477221000},"page":"69-114","source":"Crossref","is-referenced-by-count":1,"title":["Semantically Restricted Argument Dependencies"],"prefix":"10.1007","volume":"20","author":[{"given":"Alastair","family":"Butler","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,3,26]]},"reference":[{"issue":"15","key":"9123_CR1","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1007\/s10849-006-0541-6","volume":"4","author":"C. Barker","year":"2006","unstructured":"Barker C., Shan C. C. (2006) Types as graphs: Continuations in type logical grammar. Journal of Logic Language and Information 4(15): 331\u2013370","journal-title":"Journal of Logic Language and Information"},{"key":"9123_CR2","volume-title":"A symmetric complement to the lambda-calculus. Interner Bericht ISF-76-7, GMD, St","author":"K.J. Berkling","year":"1976","unstructured":"Berkling K.J. (1976) A symmetric complement to the lambda-calculus. Interner Bericht ISF-76-7, GMD, St. Augustin, Germany"},{"key":"9123_CR3","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/s10849-006-9036-8","volume":"16","author":"A. Butler","year":"2007","unstructured":"Butler A. (2007) Scope control and grammatical dependencies. Journal of Logic, Language and Information 16: 241\u2013264","journal-title":"Journal of Logic, Language and Information"},{"key":"9123_CR4","doi-asserted-by":"crossref","unstructured":"Cheney, C. J. 1970. A nonrecursive list compacting algorithm. In Communications of the ACM (Vol. 13, pp. 677\u2013678).","DOI":"10.1145\/362790.362798"},{"key":"9123_CR5","doi-asserted-by":"crossref","first-page":"545","DOI":"10.1023\/A:1020834910542","volume":"25","author":"M. J. Cresswell","year":"2002","unstructured":"Cresswell M. J. (2002) Static semantics for dynamic discourse. Linguistics and Philosophy 25: 545\u2013571","journal-title":"Linguistics and Philosophy"},{"key":"9123_CR6","doi-asserted-by":"crossref","unstructured":"de Bruijn, N. G. (1972). Lambda calculus with nameless dummies, a tool for automatic formula manipulation, with application to the church-rosser theorem. In Proceedings Kninkl. Nederl. Akademie van Wetenschappen (Vol. 75, pp. 281\u2013392).","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"9123_CR7","doi-asserted-by":"crossref","first-page":"561","DOI":"10.1007\/BF00985434","volume":"16","author":"P. Dekker","year":"1993","unstructured":"Dekker P. (1993) Existential disclosure. Linguistics and Philosophy 16: 561\u2013587","journal-title":"Linguistics and Philosophy"},{"key":"9123_CR8","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1023\/A:1017575313451","volume":"11","author":"P. Dekker","year":"2002","unstructured":"Dekker P. (2002) Meaning and use of indefinite expressions. Journal of Logic, Language and Information 11: 141\u2013194","journal-title":"Journal of Logic, Language and Information"},{"key":"9123_CR9","volume-title":"Economy and semantic interpretation","author":"D. Fox","year":"2000","unstructured":"Fox D. (2000) Economy and semantic interpretation. MIT Press, Cambridge, MA"},{"key":"9123_CR10","volume-title":"Adbmal-calculus","author":"D. Hendriks","year":"2003","unstructured":"Hendriks D., van Oostrom V. (2003) Adbmal-calculus. Department of Philosophy, Utrecht University, Utrecht"},{"key":"9123_CR11","doi-asserted-by":"crossref","first-page":"725","DOI":"10.1093\/logcom\/6.5.725","volume":"6","author":"M. Hollenberg","year":"1996","unstructured":"Hollenberg M., Vermeulen C. F. M. (1996) Counting variables in a dynamic setting. Journal of Logic and Computation 6: 725\u2013744","journal-title":"Journal of Logic and Computation"},{"issue":"4","key":"9123_CR12","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1017\/S0956796899003500","volume":"9","author":"G. Hutton","year":"1999","unstructured":"Hutton G. (1999) A tutorial on the universality and expressiveness of fold. Journal of Functional Programming 9(4): 355\u2013372","journal-title":"Journal of Functional Programming"},{"key":"9123_CR13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1023\/A:1005464228727","volume":"22","author":"P. Jacobson","year":"1999","unstructured":"Jacobson P. (1999) Towards a variable-free semantics. Linguistics and Philosophy 22: 117\u2013184","journal-title":"Linguistics and Philosophy"},{"key":"9123_CR14","first-page":"187","volume-title":"Step by step: Essays on minimalist syntax in honor of Howard Lasnik","author":"K. Johnson","year":"2000","unstructured":"Johnson K. (2000) How far will quantifiers go?. In: Martin R., Michaels D., Uriagereka J. (eds) Step by step: Essays on minimalist syntax in honor of Howard Lasnik. MIT Press, Cambridge, MA, pp 187\u2013210"},{"key":"9123_CR15","volume-title":"Dynamic syntax","author":"R. Kempson","year":"2001","unstructured":"Kempson R., Meyer-Viol W., Gabbay D. (2001) Dynamic syntax. Blackwell, Oxford"},{"key":"9123_CR16","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1007\/BF00632365","volume":"8","author":"E. Klein","year":"1985","unstructured":"Klein E., Sag I. (1985) Type-driven translation. Linguistics and Philosophy 8: 163\u2013202","journal-title":"Linguistics and Philosophy"},{"key":"9123_CR17","unstructured":"Kracht, M. (2005). Agreement morphology, argument structure and syntax. Course held at ESSLLI \u201999. (3rd Revision)."},{"issue":"3","key":"9123_CR18","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1145\/365230.365257","volume":"9","author":"P. Landin","year":"1966","unstructured":"Landin P. (1966) The next 700 programming languages. Communications of the ACM 9(3): 157\u2013166","journal-title":"Communications of the ACM"},{"key":"9123_CR19","unstructured":"May, R. (1977). The grammar of quantification. Ph.D. thesis, MIT, Cambridge, MA."},{"key":"9123_CR20","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1023\/A:1005349801431","volume":"20","author":"T. Reinhart","year":"1997","unstructured":"Reinhart T. (1997) Quantifier Scope: How labor is divided between QR and choice-functions. Linguistics and Philosophy 20: 335\u2013397","journal-title":"Linguistics and Philosophy"},{"issue":"3","key":"9123_CR21","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1162\/002438900554424","volume":"31","author":"E. G. Ruys","year":"2000","unstructured":"Ruys E. G. (2000) Weak crossover as a scope phenomenon. Linguistic Inquiry 31(3): 513\u2013539","journal-title":"Linguistic Inquiry"},{"key":"9123_CR22","unstructured":"Stehr, M.-O. (2004). CINNI\u2014A generic calculus of explicit substitutions and its application to \u03bb-, \u03c2- and \u03c0-calculi. Computer Science Department, University of Illinois at Urbana-Champaign."},{"key":"9123_CR23","unstructured":"Teller, D. (2004). Recovering resources in the pi-calculus. In Proceedings of IFIP TCS 2004 (pp. 605\u2013618). Kluwer, ISBN 1-4020-8140-5."},{"key":"9123_CR24","volume-title":"Introduction to cryptography with coding theory","author":"W. Trappe","year":"2006","unstructured":"Trappe W., Washington L. (2006) Introduction to cryptography with coding theory. Pearson Prentice Hall, Upper Saddle River, NJ","edition":"2"},{"key":"9123_CR25","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1023\/A:1011251627260","volume":"10","author":"J. Eijck van","year":"2001","unstructured":"van Eijck J. (2001) Incremental dynamics. Journal of Logic, Language and Information 10: 319\u2013351","journal-title":"Journal of Logic, Language and Information"},{"key":"9123_CR26","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/BF01050788","volume":"2","author":"C. F. M. Vermeulen","year":"1993","unstructured":"Vermeulen C. F. M. (1993) Sequence semantics for dynamic predicate logic. Journal of Logic, Language and Information 2: 217\u2013254","journal-title":"Journal of Logic, Language and Information"},{"key":"9123_CR27","first-page":"405","volume":"24","author":"C. F. M. Vermeulen","year":"1995","unstructured":"Vermeulen C. F. M. (1995) Merging without mystery or: Variables in dynamic semantics. Journal of Logic, Language and Information 24: 405\u2013450","journal-title":"Journal of Logic, Language and Information"},{"key":"9123_CR28","doi-asserted-by":"crossref","DOI":"10.1075\/sigla.2","volume-title":"Anaphora in generative grammar","author":"T. Wasow","year":"1979","unstructured":"Wasow T. (1979) Anaphora in generative grammar. E. Story-Scientia, Ghent"},{"key":"9123_CR29","doi-asserted-by":"crossref","DOI":"10.4135\/9781452233437","volume-title":"Introduction to typology: The unity and diversity of language","author":"L. Whaley","year":"1997","unstructured":"Whaley L. (1997) Introduction to typology: The unity and diversity of language. Sage, California"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-010-9123-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-010-9123-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-010-9123-8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:02Z","timestamp":1559269862000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-010-9123-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,26]]},"references-count":29,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,1]]}},"alternative-id":["9123"],"URL":"https:\/\/doi.org\/10.1007\/s10849-010-9123-8","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3,26]]}}}