{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T10:54:16Z","timestamp":1648637656167},"reference-count":30,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2001,5,1]],"date-time":"2001-05-01T00:00:00Z","timestamp":988675200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4460,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2001,5]]},"DOI":"10.1016\/s0304-3975(00)00024-4","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T22:02:56Z","timestamp":1027634576000},"page":"269-297","source":"Crossref","is-referenced-by-count":2,"title":["Proofs as computations in linear logic"],"prefix":"10.1016","volume":"258","author":[{"given":"Giorgio","family":"Delzanno","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurizio","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/S0304-3975(00)00024-4_BIB1","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","article-title":"Logic Programming with focusing proofs in linear logic","volume":"2","author":"Andreoli","year":"1992","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","article-title":"Linear objects","volume":"9","author":"Andreoli","year":"1991","journal-title":"New Generation Comput."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB3","unstructured":"M. Bozzano, G. Delzanno, M. Martelli, A linear logic specification of chimera, Proc. DYNAMICS\u201997, a satellite workshop of ILP's \u201997, 1997."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB4","series-title":"The Logic Programming Paradigm: a 25-Year Perspective, Series: Artificial Intelligence","first-page":"5","article-title":"Logic programming & multi-agent systems: a synergic combination for applications and semantics","author":"Bozzano","year":"1999"},{"key":"10.1016\/S0304-3975(00)00024-4_BIB5","series-title":"Proc. Joint Internat. Conf. Symp. on Logic Programming","first-page":"67","article-title":"A linear logic calculus of objects","author":"Bugliesi","year":"1996"},{"key":"10.1016\/S0304-3975(00)00024-4_BIB6","doi-asserted-by":"crossref","unstructured":"M. Bugliesi, G. Delzanno, L. Liquori, M. Martelli, Object calculi in linear logic, J. Logic Comput. 10 (2000).","DOI":"10.1093\/logcom\/10.1.75"},{"key":"10.1016\/S0304-3975(00)00024-4_BIB7","unstructured":"J. Chirimar, Proof theoretic approach to specification languages, Ph.D. Thesis, Department of Computer and Information Science, University of Pennsylvania, 1995."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB8","unstructured":"G. Delzanno, Logic & object-oriented programming in linear logic, Ph.D. Thesis, Universit\u00e0 of Pisa, Dipartimento di Informatica, March 1997."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB9","unstructured":"G. Delzanno, Specification of term rewriting in linear logic, in: D. Galmiche (Ed.), Proc. Workshop on Proof-Search in Type-Theoretic, Vol. 17 of Electronic Notes in Theoretical Computer Science, Lindau, Germany, July 5, 1998, Elsevier, Amsterdam, available at the URL www.elsevier.nl\/locate\/tcs."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB10","series-title":"Proc. Internat. Logic Programming Symposium","first-page":"115","article-title":"Objects in forum","author":"Delzanno","year":"1995"},{"issue":"3","key":"10.1016\/S0304-3975(00)00024-4_BIB11","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1017\/S0960129599002789","article-title":"A specification logic for concurrent object-oriented programming","volume":"9","author":"Delzanno","year":"1999","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB12","series-title":"Logic for Computer Science","author":"Gallier","year":"1986"},{"key":"10.1016\/S0304-3975(00)00024-4_BIB13","unstructured":"D. Galmiche, E. Boudinet, Proofs, concurrent objects and computations in a FILL framework, in: Proc. Workshop on Object-Based Parallel and Distributed Computation (OBPD 95), Lecture Notes in Computer Science, Vol. 1107, 1995, 148\u2013167."},{"issue":"1","key":"10.1016\/S0304-3975(00)00024-4_BIB14","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(94)00105-7","article-title":"On proof normalization in linear logic","volume":"135","author":"Galmiche","year":"1994","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB16","unstructured":"A. Guglielmi, Abstract logic programming in linear logic-independence and causality in a first order calculus, Ph.D. Thesis, Department of Computer Science, University of Pisa, 1995."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB17","doi-asserted-by":"crossref","unstructured":"J.A. Harland, D. Pym, M. Winikoff, Programming in Lygon: an overview, in: M. Wirsing, M. Nivat (Eds.), Algebraic Methodology and Software Technology, Lecture Notes in Computer Science, Vol. 1101, July 1996, Springer, Munich, Germany, pp. 391\u2013405.","DOI":"10.1007\/BFb0014329"},{"issue":"2","key":"10.1016\/S0304-3975(00)00024-4_BIB18","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1006\/inco.1994.1036","article-title":"Logic programming in a fragment of intuitionistic linear logic","volume":"110","author":"Hodas","year":"1994","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB19","doi-asserted-by":"crossref","unstructured":"J.S. Hodas, J. Polakow, Forum as a logic programming language, in: J.-Y. Girard, M. Okada, A. Scedrov (Eds.), Linear Logic 96 Tokyo Meeting, Vol. 3 of Electronic Notes in Theoretical Computer Science, Mita Campus, Keio University, Tokyo, Japan, March 28\u2013April 2, 1996.","DOI":"10.1016\/S1571-0661(05)80418-9"},{"key":"10.1016\/S0304-3975(00)00024-4_BIB20","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01211602","article-title":"Asynchronous communication model based on linear logic","volume":"7","author":"Kobayashi","year":"1995","journal-title":"Formal Aspects of Comput."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB21","doi-asserted-by":"crossref","unstructured":"P. Lincoln, V. Saraswat, Higher-order, linear, concurrent constraint programming, Manuscript, January 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"10.1016\/S0304-3975(00)00024-4_BIB22","unstructured":"P. L\u00f3pez, E. Pimentel, A lazy splitting system for forum, in: M. Falaschi, M. Navarro, A. Policriti (Eds.), Proc. APPIA-GULP-PRODE 97 Joint Conf. on Declarative Programming, Grado, Italy, June, 1997, 247\u2013258."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB23","first-page":"242","article-title":"The \u03c0-calculus as a theory in linear logic: preliminary results","volume":"Vol. 660","author":"Miller","year":"1993"},{"key":"10.1016\/S0304-3975(00)00024-4_BIB24","doi-asserted-by":"crossref","unstructured":"D. Miller, A multiple-conclusion meta-logic, Proc. 1994 Symp. on Logics in Computer Science, 1994, pp. 272\u2013281.","DOI":"10.1109\/LICS.1994.316062"},{"issue":"1","key":"10.1016\/S0304-3975(00)00024-4_BIB25","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","article-title":"Forum","volume":"165","author":"Miller","year":"1996","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB26","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","article-title":"Uniform proofs as a foundation for logic programming","volume":"51","author":"Miller","year":"1991","journal-title":"Ann. Pure Appl. Logic"},{"key":"10.1016\/S0304-3975(00)00024-4_BIB27","unstructured":"G. Nadathur, D. Miller, An overview of \u03bb-Prolog, Fifth Internat. Symp. on Logic Programming (1988)."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB28","article-title":"A model of concurrency based on linear logic","author":"Perrier","year":"1995","journal-title":"Proc. Conf. on Computer Science Logic 95"},{"issue":"2","key":"10.1016\/S0304-3975(00)00024-4_BIB29","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1093\/logcom\/4.2.175","article-title":"A uniform proof-theoretical investigation of linear logic programming","volume":"4","author":"Pym","year":"1994","journal-title":"J. Logic Comput."},{"key":"10.1016\/S0304-3975(00)00024-4_BIB30","first-page":"733","article-title":"The semantics of predicate logic as a programming language","volume":"1976","author":"van Emden","journal-title":"J. ACM"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500000244?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397500000244?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,1,28]],"date-time":"2020-01-28T19:16:27Z","timestamp":1580238987000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397500000244"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,5]]},"references-count":30,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2001,5]]}},"alternative-id":["S0304397500000244"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(00)00024-4","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2001,5]]}}}