{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:06:09Z","timestamp":1725465969091},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637004"},{"type":"electronic","value":"9783540696315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052154","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T00:43:12Z","timestamp":1149640992000},"page":"118-133","source":"Crossref","is-referenced-by-count":0,"title":["Constructing different phonological bracketings from a proof net"],"prefix":"10.1007","author":[{"given":"Denis","family":"Bechet","sequence":"first","affiliation":[]},{"given":"Philippe","family":"de Groote","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"7_CR1","unstructured":"C. Berge. Graphs. North-Holland, second revised edition edition, 1985."},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"W. Buszkowski. Generative power of categorial grammars. In R. T. Oehrle, E. Bach, and D. Wheeler, editors, Categorial Grammars and Natural Languages Structures, pages 69\u201394. Reidel, 1988.","DOI":"10.1007\/978-94-015-6878-4_4"},{"key":"7_CR3","unstructured":"V. Danos. Une application de la logique lin\u00e9aire \u00e0 l'\u00e9tude des processus de normalisation et principalement du lambda calcul. Th\u00e8se de doctorat, Universit\u00e9 de Paris VII, 1990."},{"key":"7_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01622878","volume":"28","author":"V. Danos","year":"1989","unstructured":"V. Danos and L. Regnier. The structure of multiplicatives. Archive for Mathematical Logic, 28:181\u2013203, 1989.","journal-title":"Archive for Mathematical Logic"},{"key":"7_CR5","unstructured":"Ph. de Groote and C. Retor\u00e9. On the semantic readings of proof-nets. In G.-J. Kruijff, G. Morrill, and D. Oehrle, editors, Formal Grammar, pages 57\u201370. Eighth European Summer School in Logic Language and Information, August 1996."},{"key":"7_CR6","unstructured":"A. Fleury. Private communication."},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"7_CR8","unstructured":"J.-Y. Girard. Quantifiers in linear logic II. Technical Report 19, Equipe de Logique Math\u00e9matique, Universit\u00e9 de Paris VII, 1991."},{"key":"7_CR9","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"J. Lambek. The mathematics of sentence structure. Amer. Math. Monthly, 65:154\u2013170, 1958.","journal-title":"Amer. Math. Monthly"},{"key":"7_CR10","unstructured":"A. Lecomte. Prosodie et strat\u00e9gie de calcul. Communication \u00e0 la journ\u00e9e ATALA \u201cInteraction prosodie-syntaxe\u201d, F\u00e9vrier 1996."},{"key":"7_CR11","unstructured":"A. Lecomte and C. Retor\u00e9. Pomset logic as an alternative categorial grammar. In Proceedings of the Conference of the European Summer School in Logic, Language and Information, Barcelona, 1995."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"M. Moortgat. Categorial Investigations: logical and linguistic aspects of the lambek calculus. Foris Publications, 1988.","DOI":"10.1515\/9783112329580"},{"key":"7_CR13","unstructured":"M. Moortgat. Categorial type logic. In J. van Benthem and A. ter Meulen, editors, Handbook of Logic and Language, chapter two. Elsevier, to appear."},{"key":"7_CR14","unstructured":"G. Morrill. Memoisation of categorial proof nets: parallelism in categorial processing. In V. M. Abrusci and C. Casadio, editors, Proofs and Linguistic Categories, Proceedings 1996 Roma Workshop. CLUEB, 1996."},{"issue":"2","key":"7_CR15","first-page":"39","volume":"37","author":"C. Retor\u00e9","year":"1997","unstructured":"C. Retor\u00e9. Calcul de lambek et logique lin\u00e9aire. Traitement Automatique de Langues, 37(2):39\u201370, 1997.","journal-title":"Traitement Automatique de Langues"},{"key":"7_CR16","unstructured":"D. Roorda. Resource Logics: proof-theoretical investigations. PhD thesis, University of Amsterdam, 1991."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052154","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,27]],"date-time":"2021-07-27T22:14:57Z","timestamp":1627424097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052154"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0052154","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}