{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:19:47Z","timestamp":1743023987432,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637004"},{"type":"electronic","value":"9783540696315"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052151","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:43:12Z","timestamp":1149655392000},"page":"63-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Linear logic as logic programming: An abstract"],"prefix":"10.1007","author":[{"given":"Dale","family":"Miller","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"issue":"3","key":"4_CR1","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J. Andreoli","year":"1992","unstructured":"Jean-Marc Andreoli. Logic programming with focusing proofs in linear logic. Journal of Logic and Computation, 2(3):297\u2013347, 1992.","journal-title":"Journal of Logic and Computation"},{"issue":"3\u20134","key":"4_CR2","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J.M. Andreoli","year":"1991","unstructured":"J.M. Andreoli and R. Pareschi. Linear objects: Logical processes with built-in inheritance. New Generation Computing, 9(3\u20134):445\u2013473, 1991.","journal-title":"New Generation Computing"},{"key":"4_CR3","unstructured":"Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, and Maurizio Martelli. A linear logic calculus of objects. In M. Maher, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming MIT Press, September 1996."},{"key":"4_CR4","first-page":"264","volume-title":"A linear logic framework","author":"I. Cervesato","year":"1996","unstructured":"Iliano Cervesato and Frank Pfenning. A linear logic framework. In Proceedings, Eleventh Annual IEEE Symposium on Logic in Computer Science, pages 264\u2013275, New Brunswick, New Jersey, July 1996. IEEE Computer Society Press."},{"key":"4_CR5","unstructured":"Jawahar Chirimar. Proof Theoretic Approach to Specification Languages. PhD thesis, University of Pennsylvania, February 1995. Available on the web from http\/\/www.cis.upenn.edu\/~dale\/forum\/."},{"key":"4_CR6","unstructured":"Giorgio Delzanno and Maurizio Martelli. Objects in forum. In Proceedings of the International Logic Programming Symposium, 1995."},{"issue":"1","key":"4_CR7","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/BF00881900","volume":"11","author":"A. Felty","year":"1993","unstructured":"Amy Felty. Implementing tactics and tacticals in a higher-order logic programming language. Journal of Automated Reasoning, 11(1):43\u201381, August 1993.","journal-title":"Journal of Automated Reasoning"},{"key":"4_CR8","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G. Gentzen","year":"1969","unstructured":"Gerhard Gentzen. Investigations into logical deductions. In M. E. Szabo, editor, The Collected Papers of Gerhard Gentzen, pages 68\u2013131. North-Holland Publishing Co., Amsterdam, 1969."},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard. Linear logic. Theoretical Computer Science, 50:1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1145\/138027.138060","volume":"40","author":"R. Harper","year":"1993","unstructured":"Robert Harper, Furio Honsell, and Gordon Plotkin. A framework for defining logics. Journal of the ACM, 40(1):143\u2013184, 1993.","journal-title":"Journal of the ACM"},{"key":"4_CR11","unstructured":"J. Hennesy and D. Patterson. Computer Architecture A Quantitative Approach. Morgan Kaufman Publishers, Inc., 1990."},{"key":"4_CR12","unstructured":"Joshua Hodas. Specifying filler-gap dependency parsers in a linear-logic programming language. In K. Apt, editor, Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 622\u2013636, 1992."},{"issue":"2","key":"4_CR13","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J. Hodas","year":"1994","unstructured":"Joshua Hodas and Dale Miller. Logic programming in a fragment of intuitionistic linear logic. Information and Computation, 110(2):327\u2013365, 1994.","journal-title":"Information and Computation"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Dale Miller. The \u03c0-calculus as a theory in linear logic: Preliminary results. In E. Lamma and P. Mello, editors, Proceedings of the 1992 Workshop on Extensions to Logic Programming, number 660 in LNCS, pages 242\u2013265. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56454-3_13"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Dale Miller. A multiple-conclusion meta-logic. In S. Abramsky, editor, Ninth Annual Symposium on Logic in Computer Science, pages 272\u2013281, Paris, July 1994.","DOI":"10.1109\/LICS.1994.316062"},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1016\/0304-3975(96)00045-X","volume":"165","author":"D. Miller","year":"1996","unstructured":"Dale Miller. Forum: A multiple-conclusion specification language. Theoretical Computer Science, 165:201\u2013232, 1996.","journal-title":"Theoretical Computer Science"},{"key":"4_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0168-0072(91)90068-W","volume":"51","author":"D. Miller","year":"1991","unstructured":"Dale Miller, Gopalan Nadathur, Frank Pfenning, and Andre Scedrov. Uniform proofs as a foundation for logic programming. Annals of Pure and Applied Logic, 51:125\u2013157, 1991.","journal-title":"Annals of Pure and Applied Logic"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, Part I. Information and Computation, pages 1\u201320, September 1992.","DOI":"10.1016\/0890-5401(92)90009-5"},{"key":"4_CR19","unstructured":"Fernando C. N. Pereira. Prolog and natural-language analysis: into the third decade. In Proceedings of the 1990 North American Conference on Logic Programming. MIT Press, 1990."},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Frank Pfenning. Logic programming in the LF logical framework. In G\u00e9rard Huet and Gordon D. Plotkin, editors, Logical Frameworks. Cambridge University Press, 1991.","DOI":"10.1017\/CBO9780511569807.008"},{"key":"4_CR21","first-page":"156","volume-title":"Structural cut elimination","author":"F. Pfenning","year":"1995","unstructured":"Frank Pfenning. Structural cut elimination. In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science, pages 156\u2013166, San Diego, California, 26\u201329 1995. IEEE Computer Society Press."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Frank Pfenning and Ekkehard Rohwedder. Implementing the meta-theory of deductive systems. In Proceedings of the 1992 Conference on Automated Deduction, June 1992.","DOI":"10.1007\/3-540-55602-8_190"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"John H. Reppy. CML: A higher-order concurrent language. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 293\u2013305, June 1991.","DOI":"10.1145\/113446.113470"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052151","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T07:04:48Z","timestamp":1736406288000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BFb0052151"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0052151","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"16 May 2006","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}