{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:59Z","timestamp":1725467399535},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634553"},{"type":"electronic","value":"9783540695523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026989","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T06:12:36Z","timestamp":1132380756000},"page":"197-209","source":"Crossref","is-referenced-by-count":4,"title":["A deciding algorithm for linear isomorphism of types with complexity O(nlog 2(n))."],"prefix":"10.1007","author":[{"given":"A.","family":"Andreev","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Soloviev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"M. Rittri. Retrieving library functions by unifying types modulo linear isomorphism. Proceedings of Conference on Lisp and Functional Programming, 1992.","DOI":"10.1051\/ita\/1993270605231"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"R. DiCosmo. Isomorphism of Types: from \u03bb-calculus to information retrieval and language design.-Birkhauser, 1995.","DOI":"10.1007\/978-1-4612-2572-0"},{"key":"12_CR3","first-page":"174","volume":"105","author":"S. V. Soloviev","year":"1981","unstructured":"S. V. Soloviev. The category of finite sets and cartesian closed categories. Zapiski Nauchnych Seminarov Leningradskogo Otdelenya Matematicheskogo Instituta im. V.A. Steklova AN SSSR, 105 (1981), 174\u2013194. (English translation in: Journal of Soviet Mathematics, 22(3)(1983), 1387\u20131400.","journal-title":"Zapiski Nauchnych Seminarov Leningradskogo Otdelenya Matematicheskogo Instituta im. V.A. Steklova AN SSSR"},{"key":"12_CR4","unstructured":"K. Bruce, R. Di Cosmo and G. Longo. Provable isomorphism of types. Preprint LIENS-90-14, Ecole Normale Superieure, Paris (1990)."},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1007\/BF01404107","volume":"15","author":"G.E. Mints","year":"1981","unstructured":"G.E. Mints. Closed categories and Proof Theory.J.Soviet Math., 15 (1981), 45\u201362.","journal-title":"J.Soviet Math."},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"G.-Y. Girard, Y. Lafont. Linear logic and lazy computation. In: Proc.TAPSOFT 87 (Pisa), v.2, p.52\u201366, Lecture Notes in Comp.Sci. 250 (1987).","DOI":"10.1007\/BFb0014972"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"S.V. Soloviev. A complete axiom system for isomorphism of types in closed categories. \u2014 Lecture Notes in Artificial Intelligence, 698 (1993), 380\u2013392.","DOI":"10.1007\/3-540-56944-8_71"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"P.H. Benton, G.M. Bierman, V.C.V. de Paiva and J.M.E. Hyland. A term calculus for Intuitionistic Linear Logic. \u2014 In Proceedings of Typed Lambda calculus and Applications, Lecture Notes in Comp.Sci., 664 (1992), 75\u201390. *** DIRECT SUPPORT *** A0008C33 00005","DOI":"10.1007\/BFb0037099"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026989","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T22:24:31Z","timestamp":1626733471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026989"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634553","9783540695523"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/bfb0026989","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}