{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T02:56:38Z","timestamp":1649040998100},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1007\/bf01185405","type":"journal-article","created":{"date-parts":[[2005,2,18]],"date-time":"2005-02-18T12:53:39Z","timestamp":1108731219000},"page":"61-78","source":"Crossref","is-referenced-by-count":0,"title":["A formal identification between tuples and lists with an application to list-arithmetic categories"],"prefix":"10.1007","volume":"32","author":[{"given":"I. P.","family":"de Guzm\u00e1n","sequence":"first","affiliation":[]},{"given":"M.","family":"Ojeda","sequence":"additional","affiliation":[]},{"given":"A.","family":"Valverde","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Arrows, structures and functors: The categorical imperative","author":"M.A. Arbib","year":"1975","unstructured":"Arbib, M.A., Manes, E.G.: Arrows, structures and functors: The categorical imperative. New York: Academic Press 1975"},{"key":"CR2","series-title":"Prentice Hall International Series in Computer Science","volume-title":"Category theory for computing science","author":"M. Barr","year":"1990","unstructured":"Barr, M., Wells, C.: Category theory for computing science (Prentice Hall International Series in Computer Science) Englewood Cliffs, NJ: Prentice Hall 1990"},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Cockett, J.R.B.: On the decidability of objects in a locos. In: Gray, J.W., Scedrov, A (eds.) Categories in computer science and logic (Contemporary Mathematics, vol. 92, pp. 23?46). American Mathematical Society 1989","DOI":"10.1090\/conm\/092\/1003193"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0022-4049(90)90121-W","volume":"66","author":"J.R.B. Cockett","year":"1990","unstructured":"Cockett, J.R.B.: List-arithmetic distributive categories: Locoi. J. Pure Appl. Algebra66, 1?29 (1990)","journal-title":"J. Pure Appl. Algebra"},{"key":"CR5","first-page":"165","volume-title":"Category theory and computer science (Lect. Notes Comput. Sci., vol. 240","author":"P. Dybjer","year":"1985","unstructured":"Dybjer, P.: Category theory and programming language semantics: an overview. In: Pitt, D., Abramsky, S., Poign\u00e9, A., Rydeheard, D. (eds.) Category theory and computer science (Lect. Notes Comput. Sci., vol. 240, pp. 165?181) Berlin, Heidelberg, New York: Springer 1985"},{"issue":"1","key":"CR6","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J.A. Goguen","year":"1991","unstructured":"Goguen, J.A.: A categorical manifesto. Math. Struct. Comput. Sci.1 (1), 49?67 (1991)","journal-title":"Math. Struct. Comput. Sci."},{"key":"CR7","unstructured":"Harrison, P.G.: Towards the synthesis of static parallel algorithms: a categorical approach. In: IFIP TC2 Working Conference on Constructing Programs from Specifications, Pacific Grove, CA, USA May 1991"},{"key":"CR8","series-title":"Lect. Notes Comput. Sic.","first-page":"199","volume-title":"CSL'88","author":"S. L\u00fcttringhaus","year":"1988","unstructured":"L\u00fcttringhaus, S.: An interpreter with lazy evaluation forProlog with functions. In: CSL'88 (Lect. Notes Comput. Sic., vol. 385, pp. 199?225) Berlin, Heidelberg, New York: Springer 1988"},{"key":"CR9","unstructured":"Ojeda, M., Valverde, A.: La teor\u00eda de categor\u00edas en la programaci\u00f3n declarative. In: ProDe'91 Jornadas sobre Programaci\u00f3n Declarativa, pp. 66?80, AEIA, 1991"},{"key":"CR10","unstructured":"Ojeda, M., Valverde, A.: A matter about denotational semantics: distinguishing tuples and lists. Application to algebraic transformation. Technical Report, Dpto. Matem\u00e1tica Aplicada. Univ. de M\u00e1laga, 1992"},{"key":"CR11","unstructured":"Plotkin, G.D.: Post-graduate lecture notes in advanced domain theory (incorporating ?Pisa notes?). Dept. of Computing Science, University of Edinburgh, 1981"},{"key":"CR12","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1007\/3-540-51305-1_24","volume-title":"Mathematics of program construction","author":"G.D. Spivey","year":"1989","unstructured":"Spivey, G.D.: A categorical approach to the theory of lists. In: Mathematics of program construction. (Lect. Notes Comput. Sci., vol. 375, pp. 399?408) Berlin, Heidelberg, New York: Springer 1989"},{"key":"CR13","series-title":"Lect. Notes Comput. Sci.","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/3-540-51285-3_36","volume-title":"PARLE'89 Parallel Architectures and Languages Europe","author":"S. Yamasaki","year":"1989","unstructured":"Yamasaki, S.: Dataflow programs for parallel computations of logic programs and their semantics. In: PARLE'89 Parallel Architectures and Languages Europe (Lect. Notes Comput. Sci., vol. 375, pp. 104?114) Berlin, Heidelberg, New York: Springer 1989"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01185405.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01185405\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01185405","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T16:41:37Z","timestamp":1556728897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01185405"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":13,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["BF01185405"],"URL":"https:\/\/doi.org\/10.1007\/bf01185405","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}