{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T10:46:07Z","timestamp":1648723567794},"reference-count":23,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,12,19]],"date-time":"2009-12-19T00:00:00Z","timestamp":1261180800000},"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":[[2010,4]]},"DOI":"10.1007\/s10849-009-9110-0","type":"journal-article","created":{"date-parts":[[2009,12,17]],"date-time":"2009-12-17T21:21:57Z","timestamp":1261084917000},"page":"163-183","source":"Crossref","is-referenced-by-count":7,"title":["On the Membership Problem for Non-Linear Abstract Categorial Grammars"],"prefix":"10.1007","volume":"19","author":[{"given":"Sylvain","family":"Salvati","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,19]]},"reference":[{"issue":"3","key":"9110_CR1","first-page":"104","volume":"23","author":"T. Aoto","year":"1994","unstructured":"Aoto T., Ono H. (1994) Non-uniqueness of normal proofs for minimal formulas in implication-conjunction fragment of BCK. Bulletin of the Section of Logic 23(3): 104\u2013112","journal-title":"Bulletin of the Section of Logic"},{"issue":"2","key":"9110_CR2","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1008254111992","volume":"8","author":"T. Aoto","year":"1999","unstructured":"Aoto T. (1999) Uniqueness of normal proofs in implicational intuitionistic logic. Journal of Logic, Language and Information 8(2): 217\u2013242","journal-title":"Journal of Logic, Language and Information"},{"key":"9110_CR3","volume-title":"The lambda calculus: Its syntax and semantics, Vol. 103. Studies in logic and the foundations of mathematics","author":"H. P. Barendregt","year":"1984","unstructured":"Barendregt, H. P. (1984). The lambda calculus: Its syntax and semantics, Vol. 103. Studies in logic and the foundations of mathematics. Amsterdam: North-Holland. revised edition."},{"key":"9110_CR4","doi-asserted-by":"crossref","unstructured":"Babaev A. A., & Soloviev S. V. (1982). Coherence theorem for canonical maps in cartesian closed categories. Journal of Soviet Mathematics, 20.","DOI":"10.1007\/BF01629434"},{"key":"9110_CR5","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(82)90009-3","volume":"20","author":"W. Damm","year":"1982","unstructured":"Damm W. (1982) The IO- and OI-hierarchies. Theoretical Computer Science 20: 95\u2013207","journal-title":"Theoretical Computer Science"},{"key":"9110_CR6","doi-asserted-by":"crossref","unstructured":"Dezani-Ciancaglini, M., Giovannetti, E., & de\u2019 Liguoro, U. (1998). Intersection types, lambda-models and B\u00f6hm trees. In MSJ-Memoir \u201cTheories of Types and Proofs\u201d, Vol. 2, (pp. 45\u201397). Mathematical Society of Japan.","DOI":"10.2969\/msjmemoirs\/00201C020"},{"key":"9110_CR7","doi-asserted-by":"crossref","unstructured":"de Groote, P. (2001). Towards abstract categorial grammars. In Association for Computational Linguistic (Eds.), Proceedings 39th annual meeting and 10th conference of the European chapter, (pp. 148\u2013155). Morgan Kaufmann Publishers.","DOI":"10.3115\/1073012.1073045"},{"key":"9110_CR8","unstructured":"de Groote, P. (2007). Towards a montagovian account of dynamics. In: Proceedings of semantics in linguistic theory XVI. CLC Publications."},{"key":"9110_CR9","volume-title":"Proofs and types","author":"J. -Y. Girard","year":"1989","unstructured":"Girard J. -Y., Taylor P., Lafont Y. (1989) Proofs and types. Cambridge University Press, Cambridge"},{"key":"9110_CR10","unstructured":"Hillebrand, G. G. (1994). Finite model theory in the simply typed lambda calculus. PhD thesis, Department of Computer Science, Brown University, Providence, Rhode Island 02912."},{"key":"9110_CR11","unstructured":"Hirokawa, S., & Tatsuta, M. (2000). Long D-normal form yields uniqueness of proofs. In Proceedings of logic colloqium."},{"key":"9110_CR12","unstructured":"Huet, G. (1976). R\u00e9solution d\u2019\u00e9quations dans des langages d\u2019ordre 1,2, . . .,\u03c9. Th\u00e8se de doctorat es sciences math\u00e9matiques, Universit\u00e9 Paris VII."},{"key":"9110_CR13","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/j.entcs.2006.05.037","volume":"165","author":"M. Kanazawa","year":"2006","unstructured":"Kanazawa M. (2006) Abstract families of abstract categorial languages. Electronic Notes in Theoretical Computer Science 165: 65\u201380","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9110_CR14","unstructured":"Kanazawa, M. (2007). Parsing and generation as datalog queries. In Proceedings of the 45th annual meeting of the association for computational linguistics (pp. 176\u2013183). Association for Computational Linguistics."},{"key":"9110_CR15","doi-asserted-by":"crossref","unstructured":"Loader, R. (2001) The undecidability of \u03bb-definability. In C. A. Anderson & M. Zeleny (Eds.), Logic, meaning and computation: Essays in memory of Alonzo church (pp. 331\u2013342). Kluwer","DOI":"10.1007\/978-94-010-0526-5_15"},{"key":"9110_CR16","volume-title":"Formal philosophy: Selected papers of Richard Montague","author":"R. Montague","year":"1974","unstructured":"Montague R. (1974) Formal philosophy: Selected papers of Richard Montague. Yale University Press, New Haven, CT"},{"key":"9110_CR17","unstructured":"Pogodalla, S. (2001). R\u00e9seaux de preuve et g\u00e9n\u00e9ration pour les grammaires de types logiques. PhD thesis, Institut National Polytechnique de Lorraine."},{"key":"9110_CR18","unstructured":"Pogodalla, S. (2004). Computing semantic representation: Towards ACG abstract terms as derivation trees. In Proceedings of the seventh international workshop on tree adjoining grammar and related formalisms (TAG+7) (pp. 64\u201371)."},{"key":"9110_CR19","unstructured":"Salvati, S. (2005). Probl\u00e8mes de filtrage et probl\u00e8mes d\u2019analyse pour les grammaires cat\u00e9gorielles abstraites. PhD thesis, Institut National Polytechnique de Lorraine."},{"issue":"2","key":"9110_CR20","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0304-3975(91)90374-B","volume":"88","author":"H. Seki","year":"1991","unstructured":"Seki H., Matsumura T., Fujii M., Kasami T. (1991) On multiple context free grammars. Theoretical Computer Science 88(2): 191\u2013229","journal-title":"Theoretical Computer Science"},{"key":"9110_CR21","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(79)90007-0","volume":"9","author":"R. Statman","year":"1979","unstructured":"Statman R. (1979) The typed lambda-calculus is not elementary recursive. Theoretical Computer Science 9: 73\u201381","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9110_CR22","doi-asserted-by":"crossref","first-page":"136","DOI":"10.1016\/S0022-0000(75)80019-5","volume":"10","author":"M. Takahashi","year":"1975","unstructured":"Takahashi M., Joshi A. K., Levy L. S. (1975) Tree adjunct grammars. Journal of Computer and System Sciences 10(1): 136\u2013163","journal-title":"Journal of Computer and System Sciences"},{"key":"9110_CR23","unstructured":"Tatsuta, M. (1999). Uniqueness of d-normal proofs. In Proceedings of 7th Asian logic conference (pp. 41\u201342)."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9110-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-009-9110-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-009-9110-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:31:02Z","timestamp":1559255462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-009-9110-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,19]]},"references-count":23,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["9110"],"URL":"https:\/\/doi.org\/10.1007\/s10849-009-9110-0","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,19]]}}}