{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:28:02Z","timestamp":1725488882424},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422518"},{"type":"electronic","value":"9783540457381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45738-0_2","type":"book-chapter","created":{"date-parts":[[2007,8,10]],"date-time":"2007-08-10T11:40:39Z","timestamp":1186746039000},"page":"11-30","source":"Crossref","is-referenced-by-count":1,"title":["Computational Solutions for Structural Constraints"],"prefix":"10.1007","author":[{"given":"Marcelo","family":"Finger","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,18]]},"reference":[{"key":"2_CR1","unstructured":"Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics. Number 103 in North-Holland Studies in Logic and the Foundation of Mathematics. Elsevier Science Publishers, 1981."},{"key":"2_CR2","unstructured":"Broda, K., M. D\u2019Agostino, and A. Russo. Transformation methods in lds. In Logic, Language and Reasoning. An Essay in Honor of Dav Gabbay. Kluwer Academic Publishers, 1996."},{"key":"2_CR3","unstructured":"Bimb\u00f3, K. Investigation into combinatory systems with dual combinators. To appear in Studia Logica."},{"key":"2_CR4","unstructured":"Curry, H. B., and R. Feys. Combinatory Logics, volume 1. North Holland, 1958."},{"key":"2_CR5","unstructured":"Curry, H. B., J. R. Hindley, and J. P. Seldin. Combinatory Logics, volume 2. North Holland, 1972."},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1007\/BF00881958","volume":"13","author":"M. D\u2019Agostino","year":"1994","unstructured":"D\u2019Agostino, M., and D. Gabbay. A Generalization of Analithic Deduction via Labelled Tableaux, part I: Basic Substructural Logics. Journal of Automated Reasoning, 13:243\u2013281, 1994.","journal-title":"Journal of Automated Reasoning"},{"issue":"4","key":"2_CR7","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1093\/jigpal\/5.4.505","volume":"5","author":"J. M. Dunn","year":"1997","unstructured":"Dunn, J. M., and R. K. Meyer. Combinators and Structurally Free Logic. Logic Journal of the IGPL, 5(4):505\u2013538, July 1997.","journal-title":"Logic Journal of the IGPL"},{"key":"2_CR8","unstructured":"Do\u0161en, K. A Historical Introduction to Substructural Logics. In Heister, P. S., and K. Doaen, editors, Substructural Logics, pages 1\u201331. Oxford University Press, 1993."},{"key":"2_CR9","unstructured":"Dunn, J. M. Proof Theory and Semantics for Structurally Free Logics. In Prodeedings of the 3rd Workshop of Logic, Language, Information and Computation (WoLLIC96), 1996. Abstract only."},{"issue":"3","key":"2_CR10","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1093\/jigpal\/6.3.425","volume":"6","author":"M. Finger","year":"1998","unstructured":"Finger, M. Towards structurally-free theorem proving. Logic Journal of the IGPL, 6(3):425\u2013449, 1998.","journal-title":"Logic Journal of the IGPL"},{"key":"2_CR11","unstructured":"Knuth, D. E. The Art of Computer Programming, volume 3, Sorting and Searching. Addison-Wesley, 1973."},{"key":"2_CR12","series-title":"PhD thesis, Research Institute for Language and Speech (OTS), Utrecht","volume-title":"Frames and Labels \u2014 A Modal Analysis of Categorial Inference","author":"N. Kurtonina","year":"1994","unstructured":"Kurtonina, N. Frames and Labels \u2014 A Modal Analysis of Categorial Inference. PhD thesis, Research Institute for Language and Speech (OTS), Utrecht, and Institute of Logic, Language and Information (ILLC), Amsterdam, 1994."},{"key":"2_CR13","volume-title":"The Journal of Symbolic Logic","author":"R. Meyer","year":"1997","unstructured":"Meyer, R., K. Bimb\u00f3, and J. M. Dunn. Dual combinators bite the dust (abstract). forthcoming in The Journal of Symbolic Logic, (Presented at the Annual Conference of the Australasian Association for Logic, July 4-6, 1997, University of Auckland, New Zealand.)."},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/B978-044481714-3\/50005-9","volume-title":"Handbook of Logic and Language","author":"M. Moortgat","year":"1997","unstructured":"Moortgat, M. Categorial type logics. In Benthem, J. van, and A. ter Meulen, editors, Handbook of Logic and Language, pages 93\u2013178. Elsevier North-Holland\/ The MIT Press, 1997."},{"volume-title":"Lambda Calculus, Combinatorics and Functional Programming","year":"1988","key":"2_CR15","unstructured":"Revesz, G. Lambda Calculus, Combinatorics and Functional Programming. Number 4 in Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, 1988."},{"key":"2_CR16","volume-title":"From Frege to G\u00f6del","author":"A. Sch\u00f6nfinkel","year":"1967","unstructured":"Sch\u00f6nfinkel, A. \u00dcber die Bausteine der Mathematischen Logik. In Heijenoort, J. van, editor, From Frege to G\u00f6del. Harvard University Press, Cambridge, Massachussets,1967. Reprinted from original version, 1924."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Steedman, M. Combinators and grammar. In R. T. Oehrle, E. Bach, and D. Wheeler, editors, Categorial Grammars and Natural Language Structures, Studies in Linguistics and Philosophy, pages 417\u2013442. D. Reidel Publishing Company, 1988.","DOI":"10.1007\/978-94-015-6878-4_15"},{"key":"2_CR18","unstructured":"Wadsworth, C. P. Semantics and Pragmatics of the Lambda-calculus. PhD thesis, Oxford University, 1971."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45738-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,21]],"date-time":"2019-02-21T01:53:47Z","timestamp":1550714027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45738-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422518","9783540457381"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-45738-0_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}