{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:49:47Z","timestamp":1725594587948},"publisher-location":"Berlin, Heidelberg","reference-count":77,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214899"},{"type":"electronic","value":"9783642214905"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21490-5_2","type":"book-chapter","created":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T09:53:16Z","timestamp":1309513996000},"page":"17-40","source":"Crossref","is-referenced-by-count":1,"title":["Covert Movement in Logical Grammar"],"prefix":"10.1007","author":[{"given":"Carl","family":"Pollard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Proceedings of Formal Grammar 2006","author":"H. Anoun","year":"2007","unstructured":"Anoun, H., Lecomte, A.: Linear grammars with labels. In: Satta, G., Monachesi, P., Penn, G., Wintner, S. (eds.) Proceedings of Formal Grammar 2006. CSLI, Stanford (2007)"},{"issue":"2","key":"2_CR2","first-page":"199","volume":"24","author":"J. Aoun","year":"1993","unstructured":"Aoun, J., Li, A.: Wh-elements in situ: syntax or lf? Linguistic Inquiry\u00a024(2), 199\u2013238 (1993)","journal-title":"Linguistic Inquiry"},{"key":"2_CR3","unstructured":"Bach, E., Partee, B.: Anaphora and semantic structure. In: Krieman, J., Ojeda, A. (eds.) Proceedings the Chicago Linguistic Society, Papers from the Parasession on Pronouns and Anaphora, pp. 1\u201328 (1980)"},{"key":"2_CR4","first-page":"197","volume":"6","author":"C. Baker","year":"1970","unstructured":"Baker, C.: Note on the description of english questions: the role of an abstract question morpheme. Foundations of Language\u00a06, 197\u2013219 (1970)","journal-title":"Foundations of Language"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Barker, C.: Continuations and the nature of quantification. Natural Language Semantics\u00a010 (2002)","DOI":"10.1023\/A:1022183511876"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/s10988-007-9021-y","volume":"30","author":"C. Barker","year":"2007","unstructured":"Barker, C.: Parasitic scope. Linguistics and Philosophy\u00a030(4), 407\u2013444 (2007)","journal-title":"Linguistics and Philosophy"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Benton, N., Bierman, G., de Paiva, V., Hyland, M.: Term assignment for intuitionistic linear logic. Technical Report 262, University of Cambridge (August 1992)","DOI":"10.1007\/BFb0037099"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-73445-1_5","volume-title":"Logic, Language, Information and Computation","author":"R. Bernardi","year":"2007","unstructured":"Bernardi, R., Moortgat, M.: Continuation semantics for symmetric categorial grammar. In: Leivant, D., de Queiroz, R. (eds.) WoLLIC 2007. LNCS, vol.\u00a04576, pp. 53\u201371. Springer, Heidelberg (2007)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-94-009-3673-7_11","volume-title":"Initiatives in Logic","author":"W. Buszkowski","year":"1987","unstructured":"Buszkowski, W.: The logic of types. In: Srzednicki, J. (ed.) Initiatives in Logic, pp. 180\u2013206. M.\u00a0Nijhoff, Dordrecht (1987)"},{"key":"2_CR10","volume-title":"Type-Logical Semantics","author":"B. Carpenter","year":"1997","unstructured":"Carpenter, B.: Type-Logical Semantics. The MIT Press, Cambridge (1997)"},{"key":"2_CR11","first-page":"303","volume":"2","author":"N. Chomsky","year":"1976","unstructured":"Chomsky, N.: Conditions on rules of grammar. Linguistic Analysis\u00a02, 303\u2013351 (1976)","journal-title":"Linguistic Analysis"},{"key":"2_CR12","first-page":"71","volume-title":"Formal Syntax","author":"N. Chomsky","year":"1977","unstructured":"Chomsky, N.: On wh-movement. In: Culicover, P., Wasow, T., Akmajian, A. (eds.) Formal Syntax, pp. 71\u2013132. Academic Press, New York (1977)"},{"key":"2_CR13","volume-title":"The Minimalist Program","author":"N. Chomsky","year":"1995","unstructured":"Chomsky, N.: The Minimalist Program. MIT Press, Cambridge (1995)"},{"key":"2_CR14","volume-title":"Lectures on government and binding","author":"N. Chomsky","year":"1981","unstructured":"Chomsky, N.: Lectures on government and binding. Foris, Dordrecht (1981)"},{"key":"2_CR15","unstructured":"Cooper, R.: Montague\u2019s Semantic Theory and Transformational Syntax. PhD thesis, University of Massachusetts at Amherst (1975)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Cooper, R.: Quantification and Syntactic Theory. Reidel, Dordrecht (1983)","DOI":"10.1007\/978-94-015-6932-3"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11168-006-6327-9","volume":"3","author":"A. Copestake","year":"2005","unstructured":"Copestake, A., Flickinger, D., Sag, I., Pollard, C.: Minimal recursion semantics: An introduction. Journal of Research on Language and Computation\u00a03, 281\u2013332 (2005)","journal-title":"Journal of Research on Language and Computation"},{"key":"2_CR18","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780199271092.001.0001","volume-title":"Simpler Syntax","author":"P.W. Culicover","year":"2005","unstructured":"Culicover, P.W., Jackendoff, R.: Simpler Syntax. Oxford University Press, Oxford (2005)"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Curien, P.L., Herbelin, H.: The duality of computation. In: ICFP 2000, pp. 233\u2013243 (2000)","DOI":"10.1145\/351240.351262"},{"key":"2_CR20","volume-title":"Combinatory Logic","author":"H. Curry","year":"1958","unstructured":"Curry, H., Feys, R.: Combinatory Logic, vol.\u00a01. North-Holland, Amsterdam (1958)"},{"key":"2_CR21","volume-title":"Intensional and Higher Order Modal Logic","author":"D. Gallin","year":"1975","unstructured":"Gallin, D.: Intensional and Higher Order Modal Logic. North-Holland, Amsterdam (1975)"},{"key":"2_CR22","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/91556.91622","volume-title":"1990 ACM Conference on Lisp and Functional Programming","author":"O. Danvy","year":"1990","unstructured":"Danvy, O., Filinski, A.: Abstracting control. In: 1990 ACM Conference on Lisp and Functional Programming, pp. 151\u2013160. ACM Press, New York (1990)"},{"key":"2_CR23","unstructured":"de Groote, P.: Type raising, continuations, and classical logic. In: van Rooy, R., Stokhof, M. (eds.) Proceedings of the Thirteenth Amsterdam Colloquium, Amsterdam, Institute for Logic, Language, and Computation, Universiteit van Amsterdam, pp. 97\u2013101 (2001)"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards abstract categorial grammars. In: Proceedings of ACL, pp. 148\u2013155 (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"2_CR25","unstructured":"de\u00a0Groote, P., Pogodalla, S., Pollard, C.: About parallel and syntactocentric formalisms: what the encoding of convergent grammer into abstract categorial grammer tells us. Fundamenta Informaticae (2009) (submitted)"},{"key":"2_CR26","first-page":"180","volume-title":"POPL 1988","author":"M. Felleisen","year":"1988","unstructured":"Felleisen, M.: The theory and practice of first-class prompts. In: POPL 1988, pp. 180\u2013190. ACM Press, New York (1988)"},{"issue":"4","key":"2_CR27","doi-asserted-by":"publisher","first-page":"1319","DOI":"10.2307\/2275370","volume":"57","author":"D. Gabbay","year":"1992","unstructured":"Gabbay, D., de Queiroz, R.: Extending the curry-howard interpretation to linear, relevant, and other resource logics. Journal of Symbolic Logic\u00a057(4), 1319\u20131365 (1992)","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR28","first-page":"155","volume":"12","author":"G. Gazdar","year":"1981","unstructured":"Gazdar, G.: Unbounded dependencies and coordinate structure. Linguistic Inquiry\u00a012, 155\u2013184 (1981)","journal-title":"Linguistic Inquiry"},{"key":"2_CR29","unstructured":"Groenendijk, J., Stokhof, M.: Studies on the Semantics of Questions and the Pragmatics of Answers. PhD thesis, University of Amsterdam (1984)"},{"key":"2_CR30","unstructured":"Hendriks, H.: Studied Flexibility: Categories and Types in Syntax and Semantics. PhD thesis, Universiteit van Amsterdam (1993)"},{"key":"2_CR31","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism.","author":"W.A. Howard","year":"1980","unstructured":"Howard, W.A.: The formul\u00e6-as-types notion of construction. In: Hindley, J., Seldin, J. (eds.) To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism., Academic Press, New York (1980)"},{"key":"2_CR32","unstructured":"Huang, C.T.J.: Logical Relations in Chinese and the Theory of Grammar. PhD thesis, MIT (1992)"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Jacobson, P.: Towards a variable-free semantics. Linguistics and Philosophy (1999)","DOI":"10.1023\/A:1005464228727"},{"key":"2_CR34","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0022-4049(89)90163-1","volume":"59","author":"B. Jay","year":"1989","unstructured":"Jay, B.: Languages for monoidal categories. Journal of Pure and Applied Algebra\u00a059, 61\u201385 (1989)","journal-title":"Journal of Pure and Applied Algebra"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/BF00351935","volume":"1","author":"L. Karttunen","year":"1977","unstructured":"Karttunen, L.: Syntax and semantics of questions. Linguistics and Philosophy\u00a01, 3\u201344 (1977)","journal-title":"Linguistics and Philosophy"},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/978-94-015-6878-4_11","volume-title":"Categorial Grammars and Natural Language Structures","author":"J. Lambek","year":"1988","unstructured":"Lambek, J.: Categorial and categorical grammars. In: Oehrle, R., Bach, E., Wheeler, D. (eds.) Categorial Grammars and Natural Language Structures, pp. 297\u2013317. Reidel, Dordrecht (1988)"},{"issue":"3","key":"2_CR37","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly\u00a065(3), 154\u2013170 (1958)","journal-title":"American Mathematical Monthly"},{"key":"2_CR38","unstructured":"Lecomte, A., Retor\u00e9, C.: Bi-grammars: a logical system for syntax, semantics, and their correspondence. Presented at Formal Grammar 2002, Trento (2002) (unpublished)"},{"key":"2_CR39","first-page":"163","volume-title":"Language and Grammar: Studies in Mathematical Linguistics and Natural Language","author":"A. Lecomte","year":"2005","unstructured":"Lecomte, A.: Categorial grammar for minimalism. In: Casdio, C., Scott, P., Seely, R. (eds.) Language and Grammar: Studies in Mathematical Linguistics and Natural Language, pp. 163\u2013188. CSLI, Stanford (2005)"},{"key":"2_CR40","series-title":"Lecture Notes in Computer Science","volume-title":"Logic, Language, Information and Computation","year":"2007","unstructured":"Leivant, D., de Queiroz, R. (eds.): WoLLIC 2007. LNCS, vol.\u00a04576. Springer, Heidelberg (2007)"},{"key":"2_CR41","first-page":"235","volume-title":"Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods","author":"I. Mackie","year":"1993","unstructured":"Mackie, I., Rom\u00e1n, L., Abramsky, S.: An internal language for autonomous categories. In: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, pp. 235\u2013246. Springer, London (1993)"},{"key":"2_CR42","volume-title":"Logical Form: Its Structure and Derivation","author":"R.C. May","year":"1985","unstructured":"May, R.C.: Logical Form: Its Structure and Derivation. MIT Press, Cambridge (1985)"},{"key":"2_CR43","unstructured":"May, R.C.: The Grammar of Quantification. PhD thesis, Massachusetts Institute of Technology. Dept. of Linguistics and Philosophy (1977)"},{"key":"#cr-split#-2_CR44.1","doi-asserted-by":"crossref","unstructured":"Mints, G.: Closed categories and the theory of proofs. Journal of Soviet Mathematics\u00a015(1), 45\u201362 (1981);","DOI":"10.1007\/BF01404107"},{"key":"#cr-split#-2_CR44.2","unstructured":"Translated From Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Insititutaim.\u00a0V.A.\u00a0Steklova AN SSSR, vol.\u00a068, pp. 83\u2013114 (1977)"},{"key":"2_CR45","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1090\/conm\/092\/1003204","volume":"92","author":"J. Mitchell","year":"1989","unstructured":"Mitchell, J., Scott, P.: Typed lambda models and cartesian closed categories. Contemporary Mathematics\u00a092, 301\u2013316 (1989)","journal-title":"Contemporary Mathematics"},{"key":"#cr-split#-2_CR46.1","unstructured":"Montague, R.: The proper treatment of quantification in ordinary english. In: Thomason, R. (ed.) Formal Philosophy: Selected Papers of Richard Montague, pp. 247\u2013270. Yale University Press, New Haven (1974);"},{"key":"#cr-split#-2_CR46.2","unstructured":"Originally published in Hintikka, J., Moravcsik, J., Suppes, P. (eds.) Approaches to Natural Language: Proceedings of the 1970 Stanford Workshop on Grammar and Semantics. Reidel, Dordrecht"},{"key":"2_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-73445-1_5","volume-title":"Logic, Language, Information and Computation","author":"M. Moortgat","year":"2007","unstructured":"Moortgat, M.: Symmetries in natural language syntax and semantics. In: Leivant, D., de Queiroz, R. (eds.) WoLLIC 2007. LNCS, vol.\u00a04576, pp. 53\u201371. Springer, Heidelberg (2007)"},{"key":"2_CR48","volume-title":"Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus","author":"M. Moortgat","year":"1991","unstructured":"Moortgat, M.: Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. Mouton de Gruyter\/Foris Publications, Berlin (1991)"},{"key":"2_CR49","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1515\/9783110873467.181","volume-title":"Discontinuous Constituency","author":"M. Moortgat","year":"1996","unstructured":"Moortgat, M.: Generalized quantifiers and discontinuous type constructors. In: Bunt, H., van Horck, A. (eds.) Discontinuous Constituency, pp. 181\u2013207. De Gruyter, Berlin (1996)"},{"key":"2_CR50","first-page":"93","volume-title":"Handbook of Logic and Language","author":"M. Moortgat","year":"1996","unstructured":"Moortgat, M.: Categorial type logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 93\u2013177. Elsevier Science Publishers, Amsterdam (1996)"},{"key":"2_CR51","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-011-1042-6","volume-title":"Type Logical Grammar Categorial Logic of Signs","author":"G.V. Morrill","year":"1994","unstructured":"Morrill, G.V.: Type Logical Grammar Categorial Logic of Signs. Kluwer Academic Publishers, Dordrecht (1994)"},{"key":"2_CR52","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-94-010-0037-6_2","volume-title":"Resource Sensitivity in Binding and Anaphora. Studies in Linguistics and Philosophy","author":"R. Muskens","year":"2003","unstructured":"Muskens, R.: Lambdas, Language, and Logic. In: Kruijff, G.J., Oehrle, R. (eds.) Resource Sensitivity in Binding and Anaphora. Studies in Linguistics and Philosophy, pp. 23\u201354. Kluwer, Dordrecht (2003)"},{"issue":"6","key":"2_CR53","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1007\/BF00985321","volume":"17","author":"R.T. Oehrle","year":"1994","unstructured":"Oehrle, R.T.: Term-labeled categorial type systems. Linguistic and Philosophy\u00a017(6), 633\u2013678 (1994)","journal-title":"Linguistic and Philosophy"},{"key":"2_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1007\/3-540-44622-2_32","volume-title":"Computer Science Logic","author":"M. Parigot","year":"2000","unstructured":"Parigot, M.: On the computational interpretation of negation. In: Clote, P.G., Schwichtenberg, H. (eds.) CSL 2000. LNCS, vol.\u00a01862, pp. 472\u2013484. Springer, Heidelberg (2000)"},{"key":"2_CR55","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0013061","volume-title":"Logic Programming and Automated Reasoning","author":"M. Parigot","year":"1992","unstructured":"Parigot, M.: \u03bb\u03bc-calculus: an algorithmic interpretation of classical natural deduction. In: Voronkov, A. (ed.) LPAR 1992. LNCS, vol.\u00a0624. Springer, Heidelberg (1992)"},{"key":"2_CR56","first-page":"98","volume-title":"The Representation of (In-) Definiteness","author":"D. Pesetsky","year":"1987","unstructured":"Pesetsky, D.: Wh-in-situ: movement and unselective binding. In: Reuland, E., Meulen, A. (eds.) The Representation of (In-) Definiteness, pp. 98\u2013129. MIT Press, Cambridge (1987)"},{"issue":"2","key":"2_CR57","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0304-3975(75)90017-1","volume":"1","author":"G. Plotkin","year":"1975","unstructured":"Plotkin, G.: Call-by-name, call-by-value, and the \u03bb-calculus. Theoretical Computer Science\u00a01(2), 125\u2013159 (1975)","journal-title":"Theoretical Computer Science"},{"key":"2_CR58","unstructured":"Pollard, C.: Type-logical hpsg. In: Proceedings of Formal Grammar\u00a0(2004), http:\/\/www.ling.ohio-state.edu\/~hana\/hog\/pollard2004-FG.pdf"},{"key":"2_CR59","unstructured":"Pollard, C.: The logics of overt and covert movement in a relational type-theoretic grammar. Presented at the Fourth Workshop on Lambda Calculus and Formal Grammar, LORIA, Nancy (September 2007), http:\/\/www.ling.ohio-state.edu\/~hana\/hog\/pollard2007-lcfg.pdf"},{"key":"2_CR60","unstructured":"Pollard, C.: The logic of pied piping. Presented at Colloque en l\u2019honneur d\u2019Alain Lecomte, Pauillac (November 2007), http:\/\/www.ling.ohio-state.edu\/~hana\/hog\/pollard2007-pied.pdf"},{"key":"2_CR61","unstructured":"Pollard, C.: The calculus of responsibility and commitment. Unpublished paper accepted for presentation at the Workshop on Ludics, Dialog, and Interaction, Autrans (May 2008)"},{"key":"2_CR62","unstructured":"Pollard, C.: A parallel derivational architecture for the syntax-semantics interface. Presented at the ESSLLI 2008 Workshop on What Syntax Feeds Semantics, Hamburg (August 2008), http:\/\/www.ling.ohio-state.edu\/~pollard\/cvg\/para-slides.pdf"},{"key":"2_CR63","unstructured":"Pollard, C.: What do interrogative sentences refer to? Unpublished paper, Ohio State University, Universitat Rovira i Virgili, and INRIA-Lorraine. Presented at the Workshop on Reference to Abstract Objects, Universitat Pompeu Fabra, Barcelona (March 2008), http:\/\/www.ling.ohio-state.edu\/~pollard\/cvg\/absobj.pdf"},{"key":"2_CR64","unstructured":"Pollard, C.: Convergent grammar. In: Slides for ESSLLI 2008, Course, Hamburg (August 2008), http:\/\/www.ling.ohio-state.edu\/~pollard\/cvg\/day2.pdf"},{"issue":"2","key":"2_CR65","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1093\/logcom\/exm003","volume":"18","author":"C. Pollard","year":"2008","unstructured":"Pollard, C.: Hyperintensions. Journal of Logic and Computation\u00a018(2), 257\u2013282 (2008)","journal-title":"Journal of Logic and Computation"},{"key":"2_CR66","doi-asserted-by":"crossref","unstructured":"Pollard, C.: Hyperintensional questions. In: Hodges, W., de Queiroz, R. (eds.) WoLLIC 2008. LNCS (LNAI), vol.\u00a05110, pp. 261\u2013274. Springer, Heidelberg (2008), http:\/\/www.ling.ohio-state.edu\/~pollard\/cvg\/wollic08.pdf","DOI":"10.1007\/978-3-540-69937-8_24"},{"key":"#cr-split#-2_CR67.1","unstructured":"Pollard, C., Sag, I.A.: Head-Driven Phrase Structure Grammar. CSLI Publications, Stanford (1994);"},{"key":"#cr-split#-2_CR67.2","unstructured":"Distributed by University of Chicago Press"},{"issue":"2","key":"2_CR68","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1017\/S0956796803004738","volume":"14","author":"A. Ranta","year":"2004","unstructured":"Ranta, A.: Grammatical Framework: A type-theoretical grammar formalism. Journal of Functional Programming\u00a014(2), 145\u2013189 (2004)","journal-title":"Journal of Functional Programming"},{"key":"2_CR69","first-page":"246","volume-title":"Proceedings of Semantics and Linguistic Theory 12","author":"C. Shan","year":"2002","unstructured":"Shan, C.: A continuation semantics of interrogatives that accounts for baker\u2019s ambiguity. In: Jackson, B. (ed.) Proceedings of Semantics and Linguistic Theory 12, pp. 246\u2013265. Cornell University Press, Ithaca (2002)"},{"key":"2_CR70","unstructured":"Shan, C.: Delimited continuations in natural language: quantification and polar sensitivity. In: Continuation Workshop 2004, Venice (2004)"},{"key":"2_CR71","volume-title":"Surface Structure and Interpretation","author":"M. Steedman","year":"1996","unstructured":"Steedman, M.: Surface Structure and Interpretation. MIT Press, Cambridge (1996)"},{"key":"#cr-split#-2_CR72.1","unstructured":"van Benthem, J.: The semantics of variety in categorial grammar. Technical Report 83-29, Department of Mathematics, Simon Fraser University, Vancouver (1983);"},{"key":"#cr-split#-2_CR72.2","unstructured":"Reprinted in Buszkowski, W., van Benthem, J., Marciszewski, W. (eds.) Categorial Grammar, pp.\u00a037\u201355. John Benjamins, Amsterdam"},{"key":"2_CR73","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/BFb0031928","volume-title":"Nonclassical Logics and Information Processing","author":"H. Wansing","year":"1992","unstructured":"Wansing, H.: \u2018formulas-as-types\u2019 for a hierarchy of sublogics of intuitionistic proposiitonal logic. In: Pearce, D.J., Wansing, H. (eds.) All-Berlin 1990. LNCS (LNAI), vol.\u00a0619, pp. 125\u2013145. Springer, Heidelberg (1992)"}],"container-title":["Lecture Notes in Computer Science","Logic and Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21490-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,8]],"date-time":"2024-04-08T10:21:57Z","timestamp":1712571717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21490-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214899","9783642214905"],"references-count":77,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21490-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}