{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:34:45Z","timestamp":1725593685843},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642222207"},{"type":"electronic","value":"9783642222214"}],"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-22221-4_1","type":"book-chapter","created":{"date-parts":[[2011,6,25]],"date-time":"2011-06-25T14:27:18Z","timestamp":1309012038000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["Encoding Phases Using Commutativity and Non-commutativity in a Logical Framework"],"prefix":"10.1007","author":[{"given":"Maxime","family":"Amblard","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Amblard, M.: Calcul de repr\u00e9sentations s\u00e9mantiques et syntaxe g\u00e9n\u00e9rative: les grammaires minimalistes cat\u00e9gorielles. Ph.D. thesis, universit\u00e9 de Bordeaux 1 (2007)"},{"issue":"1-4","key":"1_CR2","first-page":"273","volume":"6","author":"M. Amblard","year":"2010","unstructured":"Amblard, M., Lecomte, A., Retore, C.: Categorial minimalist grammars: from generative syntax to logical forms. Linguistic Analysis\u00a06(1-4), 273\u2013308 (2010)","journal-title":"Linguistic Analysis"},{"key":"1_CR3","unstructured":"Amblard, M., Retore, C.: Natural deduction and normalisation for partially commutative linear logic and lambek calculus with product. In: Computation and Logic in the Real World, CiE 2007 (2007)"},{"key":"1_CR4","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-94-011-5420-8_2","volume-title":"Elements of Grammar, Handbook of Generative Syntax","author":"M. Baker","year":"1997","unstructured":"Baker, M.: Thematic Roles and Syntactic Structure. In: Haegeman, L. (ed.) Elements of Grammar, Handbook of Generative Syntax, pp. 73\u2013137. Kluwer, Dordrecht (1997)"},{"key":"1_CR5","doi-asserted-by":"crossref","DOI":"10.1515\/9783112316009","volume-title":"Syntactic Structures","author":"N. Chomsky","year":"1957","unstructured":"Chomsky, N.: Syntactic Structures. Mouton, The Hague (1957)"},{"key":"1_CR6","volume-title":"The Minimalist Program","author":"N. Chomsky","year":"1995","unstructured":"Chomsky, N.: The Minimalist Program. MIT Press, Cambridge (1995)"},{"key":"1_CR7","volume-title":"Derivation by phase. ms","author":"N. Chomsky","year":"1999","unstructured":"Chomsky, N.: Derivation by phase. ms. MIT, Cambridge (1999)"},{"key":"1_CR8","first-page":"199","volume-title":"Third Roma Workshop: Proofs and Linguistics Categories \u2013 Applications of Logic to the analysis and implementation of Natural Language","author":"P. Groote de","year":"1996","unstructured":"de Groote, P.: Partially commutative linear logic: sequent calculus and phase semantics. In: Abrusci, V.M., Casadio, C. (eds.) Third Roma Workshop: Proofs and Linguistics Categories \u2013 Applications of Logic to the analysis and implementation of Natural Language, pp. 199\u2013208. CLUEB, Bologna (1996)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards abstract categorial grammars. In: ACL 2001 (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"1_CR10","series-title":"The View from Building","volume-title":"On argument structure and the lexical expression of syntactic relations","author":"K. Hale","year":"1993","unstructured":"Hale, K.: On argument structure and the lexical expression of syntactic relations. The View from Building, vol.\u00a020. MIT Press, Ithaca (1993)"},{"key":"1_CR11","volume-title":"Functional Projections","author":"A. Kratzer","year":"1994","unstructured":"Kratzer, A.: External arguments. In: Benedicto, E., Runner, J. (eds.) Functional Projections. University of Massachussets, Amherst (1994)"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Lambek, J.: The mathematics of sentence structures. American mathematical monthly (1958)","DOI":"10.1080\/00029890.1958.11989160"},{"key":"1_CR13","unstructured":"Lecomte, A.: Categorial grammar for minimalism. Language and Grammar: Studies in Mathematical Linguistics and Natural Language CSLI Lecture Notes, vol.\u00a0168, pp. 163\u2013188 (2005)"},{"key":"1_CR14","unstructured":"Lecomte, A.: Semantics in minimalist-categorial grammars. Formal Grammar (2008)"},{"key":"1_CR15","first-page":"354","volume-title":"Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics, ACL 2001","author":"A. Lecomte","year":"2001","unstructured":"Lecomte, A., Retor\u00e9, C.: Extending Lambek grammars: a logical account of minimalist grammars. In: Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics, ACL 2001, pp. 354\u2013361. ACL, Toulouse (2001)"},{"key":"1_CR16","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of Logic and Language, ch.\u00a02","author":"M. Moortgat","year":"1997","unstructured":"Moortgat, M.: Categorial type logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, ch.\u00a02, pp. 93\u2013178. Elsevier, Amsterdam (1997)"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Morrill, G.: Type logical grammar. Categorial Logic of Signs (1994)","DOI":"10.1007\/978-94-011-1042-6"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Muskens, R.: Languages, lambdas and logic. Resource Sensitivity in Binding and Anaphora (2003)","DOI":"10.1007\/978-94-010-0037-6_2"},{"key":"1_CR19","unstructured":"Pollard, C.: Convergent grammars. Tech. rep., The Ohio State University (2007)"},{"key":"1_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/3-540-62688-3_43","volume-title":"Typed Lambda Calculi and Applications","author":"C. Retor\u00e9","year":"1997","unstructured":"Retor\u00e9, C.: Pomset logic: a non-commutative extension of classical linear logic. In: de Groote, P., Hindley, J.R. (eds.) TLCA 1997. LNCS, vol.\u00a01210, pp. 300\u2013318. Springer, Heidelberg (1997)"},{"key":"1_CR21","doi-asserted-by":"crossref","unstructured":"Retor\u00e9, C.: A description of the non-sequential execution of petri nets in partially commutative linear logic. Logic Colloquium 99 Lecture Notes in Logic, pp. 152\u2013181 (2004)","DOI":"10.1017\/9781316755921.013"},{"key":"1_CR22","doi-asserted-by":"crossref","unstructured":"Stabler, E.: Derivational minimalism. LACL 1328 (1997)","DOI":"10.1007\/BFb0052152"},{"key":"1_CR23","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/3-540-48199-0_15","volume-title":"Logical Aspects of Computational Linguistics","author":"E. Stabler","year":"2001","unstructured":"Stabler, E.: Recognizing head movement. In: de Groote, P., Morrill, G., Retor\u00e9, C. (eds.) LACL 2001. LNCS (LNAI), vol.\u00a02099, p. 245. Springer, Heidelberg (2001)"},{"key":"1_CR24","doi-asserted-by":"crossref","unstructured":"Steedman, M.: Combinatory grammars and parasitic gaps. In: Natural Language and Linguistic Theory, vol. 5 (1987)","DOI":"10.1007\/BF00134555"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22221-4_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,7]],"date-time":"2023-06-07T15:15:32Z","timestamp":1686150932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22221-4_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642222207","9783642222214"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22221-4_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}