{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:10Z","timestamp":1725664990130},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540626886"},{"type":"electronic","value":"9783540684381"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62688-3_36","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:48:22Z","timestamp":1330296502000},"page":"181-195","source":"Crossref","is-referenced-by-count":2,"title":["Proof nets, garbage, and computations"],"prefix":"10.1007","author":[{"given":"S.","family":"Guerrini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Martini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Masini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"12_CR1","first-page":"426","volume-title":"Paths in the lambda-calculus: three years of communications without understanding","author":"A. Asperti","year":"1994","unstructured":"Andrea Asperti, Vincent Danos, Cosimo Laneve, and Laurent Regnier. Paths in the lambda-calculus: three years of communications without understanding. In Proceedings of 9th Annual Symposium on Logic in Computer Science, pages 426\u2013436, Paris, France, July 1994. IEEE."},{"key":"12_CR2","unstructured":"Andrea Asperti and Stefano Guerrini. The Optimal Implementation of Functional Programming Languages. Cambridge University Press, 1997. To appear."},{"issue":"2","key":"12_CR3","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0304-3975(95)00062-3","volume":"159","author":"A. Asperti","year":"1996","unstructured":"Andrea Asperti and Cosimo Laneve. Interaction system II: The practice of optimal reductions. Theoretical Computer Science, 159(2):191\u2013244, 3 June 1996.","journal-title":"Theoretical Computer Science"},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/FI-1995-22121","volume":"22","author":"A. Asperti","year":"1995","unstructured":"Andrea Asperti. Linear logic, comonads and optimal reductions. Fundamenta infomaticae, 22:3\u201322, 1995.","journal-title":"Fundamenta infomaticae"},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1016\/0168-0072(94)00033-Y","volume":"73","author":"R. Banach","year":"1995","unstructured":"Richard Banach. Sequent reconstruction in LLM\u2014A sweepline proof. Annals of Pure and Applied Logic, 73:277\u2013295, 1995.","journal-title":"Annals of Pure and Applied Logic"},{"key":"12_CR6","first-page":"223","volume-title":"Linear logic without boxes","author":"G. Gonthier","year":"1992","unstructured":"Georges Gonthier, Mart\u00edn Abadi, and Jean-Jacques L\u00e9vy. Linear logic without boxes. In Proceedings of 7th Annual Symposium on Logic in Computer Science, pages 223\u2013234, Santa Cruz, CA, June 1992. IEEE."},{"issue":"1","key":"12_CR7","doi-asserted-by":"crossref","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):1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. Towards a geometry of interaction. Number 92 in Contemporary Mathematics, pages 69\u2013108. AMS, 1989.","DOI":"10.1090\/conm\/092\/1003197"},{"key":"12_CR9","unstructured":"Stefano Guerrini and Andrea Masini. Parsing MELL proof nets. Technical report, Dipartimento di Informatica, Pisa, 1996."},{"key":"12_CR10","series-title":"number 1103 in LNCS","first-page":"215","volume-title":"RTA '96","author":"S. Guerrini","year":"1996","unstructured":"Stefano Guerrini, Simone Martini, and Andrea Masini. Coherence for sharing proof-nets. In Harald Ganzinger, editor, RTA '96, number 1103 in LNCS, pages 215\u2013229, New Brunswick, NJ, July 1996. Springer-Verlag."},{"key":"12_CR11","unstructured":"Stefano Guerrini. Theoretical and Practical Issues of Optimal Implementations of Functional Languages. Phd thesis, Dipartimento di Informatica, Pisa, 1996. TD-3\/96."},{"key":"12_CR12","first-page":"16","volume-title":"An algorithm for optimal lambda calculus reduction","author":"J. Lamping","year":"1990","unstructured":"John Lamping. An algorithm for optimal lambda calculus reduction. In Proceedings of Seventeenth Annual ACM Symposyum on Principles of Programming Languages, pages 16\u201330, San Francisco, California, January 1990. ACM."},{"key":"12_CR13","unstructured":"Jean-Jacques L\u00e9vy. R\u00e9ductions Correctes et Optimales dans le lambdacalcul. PhD Thesis, Universit\u00e9 Paris VII, 1978."},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1017\/CBO9780511629150.010","volume-title":"Advances in Linear Logic","author":"S. Martini","year":"1995","unstructured":"S. Martini and A. Masini. On the fine structure of the exponential rule. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, pages 197\u2013210. Cambridge University Press, 1995. Proceedings of the Workshop on Linear Logic, Ithaca, New York, June 1993."}],"container-title":["Lecture Notes in Computer Science","Typed Lambda Calculi and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62688-3_36.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:39:34Z","timestamp":1619573974000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62688-3_36"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540626886","9783540684381"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-62688-3_36","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}