{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T01:34:23Z","timestamp":1781055263018,"version":"3.54.1"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Appl Categor Struct"],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/bf00873993","type":"journal-article","created":{"date-parts":[[2004,12,23]],"date-time":"2004-12-23T13:51:33Z","timestamp":1103809893000},"page":"311-343","source":"Crossref","is-referenced-by-count":19,"title":["An internal language for autonomous categories"],"prefix":"10.1007","volume":"1","author":[{"given":"Ian","family":"Mackie","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leopoldo","family":"Rom\ufffdn","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Samson","family":"Abramsky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"S. Abramsky: Computational interpretations of linear logic,Theoretical Computer Science 111 (1993), 3?57. Revised version of Imperial College Technical Report DoC 90\/20, October 1990.","journal-title":"Theoretical Computer Science"},{"key":"CR2","unstructured":"H. P. Barendregt:The lambda Calculus: Its Syntax and Semantics, North-Holland, revised edition (1984)."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"G. Berry and G. Boudol: The Chemical Abstract Machine, in:Converence Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages (1990), pp. 81?94.","DOI":"10.1145\/96709.96717"},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"N. Benton, G. Bierman, V. de Paiva, and M. Hyland: Term assignment for intuitionistic linear logic, Technical Report No. 262, University of Cambridge (August 1992).","DOI":"10.1007\/BFb0037099"},{"key":"CR5","unstructured":"R. Blute: Linear logic, coherence and dinaturality, Technical report, McGill University (1992)."},{"key":"CR6","unstructured":"M. Barr and C. Wells:Category Theory for Computing Science, International Series in Computer Science. Prentice Hall (1990)."},{"issue":"1","key":"CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard: Linear Logic,Theoretical Computer Science 50 (1) (1987), 1?102.","journal-title":"Theoretical Computer Science"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0022-4049(89)90163-1","volume":"59","author":"B. Jay","year":"1989","unstructured":"B. Jay: Languages for monoidal categories,Journal of Pure and Applied Algebra 59 (1989), 61?85.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"CR9","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/BF00370831","volume":"XLVII","author":"B. Jay","year":"1989","unstructured":"B. Jay: A note on natural numbers objects in monoidal categories,Studia Logica XLVII (1989), 389?393.","journal-title":"Studia Logica"},{"key":"CR10","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0022-4049(71)90013-2","volume":"1","author":"G. M. Kelly","year":"1971","unstructured":"G. M. Kelly and S. Mac Lane: Coherence in closed categories,Journal of Pure and Applied Algebra 1 (1971), 97?140.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"CR11","unstructured":"J. Lambek: Cartesian closed categories and typed lambda calculi, Number 242 in Lecture Notes in Computer Science, Springer-Verlag (1986)."},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"J. Lambek: On the unity of algebra and logic, in: F. Borceau (ed.),Categorical Algebra and Its Applications, number 1348 in Lecture Notes in Mathematics, Springer-Verlag (1988), pp. 221?229.","DOI":"10.1007\/BFb0081361"},{"key":"CR13","unstructured":"J. Lambek and P. J. Scott:Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics Vol. 7, Cambridge University Press (1986)."},{"key":"CR14","first-page":"28","volume":"49","author":"S. Mac Lane","year":"1963","unstructured":"S. Mac Lane: Natural associativity and commutativity,Rice University Studies 49 (1963), 28?46.","journal-title":"Rice University Studies"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1090\/conm\/013\/685975","volume":"13","author":"S. Mac Lane","year":"1982","unstructured":"S. Mac Lane: Why commutative diagrams coincide with equivalent proofs,Contempory Mathematics 13 (1982), 387?401.","journal-title":"Contempory Mathematics"},{"key":"CR16","unstructured":"I. C. Mackie: Lilac: A functional programming language based on linear logic, Master's thesis, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, September 1991. To appear in theJournal of Functional Programming."},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"I. Mackie, L. Rom\u00e1n, and S. Abramsky: An internal language for autonomous categories (extended abstract), inTheory and Formal Methods, 1993; Proceedings of the First Imperial College, Department of Computing, Workshop on Theory and Formal Methods. G. L. Burn, S. J. Gray, and M. D. Ryan (eds). Springer Verlag Workshops in Computer Science (1993).","DOI":"10.1007\/978-1-4471-3503-6_18"},{"key":"CR18","doi-asserted-by":"crossref","unstructured":"R. Milner: Functions as processes, in:Proceedings of ICALP 90, volume 443 of Lecture Notes in Computer Science, Springer-Verlag (1990), pp. 167?180.","DOI":"10.1007\/BFb0032030"},{"key":"CR19","doi-asserted-by":"crossref","unstructured":"R. Par\u00e9 and L. Rom\u00e1n: Monoidal categories with natural numbers object,Studia Logica 48 (1989).","DOI":"10.1007\/BF00370829"},{"key":"CR20","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0022-4049(89)90042-X","volume":"58","author":"L. Rom\u00e1n","year":"1989","unstructured":"L. Rom\u00e1n: Cartesian categories with natural numbers object,Journal of Pure and Applied Algebra 58 (1989), 267?268.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"CR21","first-page":"117","volume":"8","author":"L. Rom\u00e1n","year":"1990","unstructured":"L. Rom\u00e1n: On recursive principles in cartesian categories,Aport. Mat. 8 (1990), 117?125.","journal-title":"Aport. Mat."},{"key":"CR22","unstructured":"R. A. G. Seely: Linear logic, ?-autonomous categories and cofree coalgebras, in: J. W. Gray and A. Scedrov (ed.),Categories in Computer Science and Logic, volume 29 of Contemporary Mathematics, American Mathematical Society (1989), pp. 371?382."}],"container-title":["Applied Categorical Structures"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00873993.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00873993\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00873993","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T22:22:27Z","timestamp":1586038947000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00873993"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1993]]}},"alternative-id":["BF00873993"],"URL":"https:\/\/doi.org\/10.1007\/bf00873993","relation":{},"ISSN":["0927-2852","1572-9095"],"issn-type":[{"value":"0927-2852","type":"print"},{"value":"1572-9095","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993]]}}}