{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,23]],"date-time":"2026-08-23T17:27:54Z","timestamp":1787506074105,"version":"build-2736575974"},"reference-count":11,"publisher":"Wiley","issue":"8","license":[{"start":{"date-parts":[[2006,10,30]],"date-time":"2006-10-30T00:00:00Z","timestamp":1162166400000},"content-version":"vor","delay-in-days":7030,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[1987,8]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Categorical combinators form a formal system similar to Curry's combinatory logic. The original system was developed by Curien, inspired by the equivalence of the theories of typed \u03bb\u2010calculus and Cartesian closed categories, as shown by Lambek and Scott. A new system for categorical combinators was introduced by the author. This system uses a more compact notation for the code and needs a smaller set of rewriting rules.<\/jats:p>\n                  <jats:p>The aim of this paper is to analyse these two different rewriting systems for categorical combinators as a basis for implementation of applicative languages, and compare them with the classical approach due to Turner, using combinatory logic.<\/jats:p>","DOI":"10.1002\/spe.4380170807","type":"journal-article","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T21:15:02Z","timestamp":1163798102000},"page":"547-559","source":"Crossref","is-referenced-by-count":3,"title":["On the efficiency of categorical combinators as a rewriting system"],"prefix":"10.1002","volume":"17","author":[{"given":"R. D.","family":"Lins","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"311","published-online":{"date-parts":[[2006,10,30]]},"reference":[{"key":"e_1_2_1_2_2","volume-title":"Research Notes in Theoretical Computer Science","author":"Curien P\u2010L.","year":"1986"},{"key":"e_1_2_1_3_2","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda\u2010Calculus and Formalism","author":"Lambek L.","year":"1980"},{"key":"e_1_2_1_4_2","volume-title":"To H. B. Curry: Essays on Combinatory Logic, Lambda\u2010Calculus and Formalism","author":"Scott D.","year":"1980"},{"key":"e_1_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-16780-3_82"},{"key":"e_1_2_1_6_2","unstructured":"G.Cousineau P\u2010L.CurienandM.Mauny \u2018The categorical abstract machine\u2019 in J\u2010P. Jouannaud (ed.) Functional Programming Languages and Computer Architecture SLNCS 201."},{"key":"e_1_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090105"},{"key":"e_1_2_1_8_2","unstructured":"R. D.Lins \u2018On the efficiency of categorical combinators in applicative languages\u2019 Ph.D. Thesis The University of Kent at Canterbury October1986."},{"key":"e_1_2_1_9_2","doi-asserted-by":"crossref","unstructured":"D. A.Turner \u2018Another algorithm for bracket abstraction\u2019 Journal of Symbolic Logic (1979).","DOI":"10.2307\/2273733"},{"key":"e_1_2_1_10_2","unstructured":"D. A.Turner \u2018Miranda: a non\u2010strict functional language with polymorphic types\u2019 in J\u2010P. Jouannaud (ed.) Functional Programming Languages and Computer Architecture SLNCS 201."},{"key":"e_1_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_2_1_12_2","volume-title":"ACM Conference on LISP and Functional Programming","author":"Thompson S. J.","year":"1986"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fspe.4380170807","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.4380170807","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,21]],"date-time":"2023-10-21T14:41:56Z","timestamp":1697899316000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.4380170807"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,8]]},"references-count":11,"journal-issue":{"issue":"8","published-print":{"date-parts":[[1987,8]]}},"alternative-id":["10.1002\/spe.4380170807"],"URL":"https:\/\/doi.org\/10.1002\/spe.4380170807","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,8]]}}}