{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:38Z","timestamp":1725665018942},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540631729"},{"type":"electronic","value":"9783540692010"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63172-0_33","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:16:32Z","timestamp":1330298192000},"page":"76-88","source":"Crossref","is-referenced-by-count":4,"title":["Directed virtual reductions"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Marco","family":"Pedicini","sequence":"additional","affiliation":[]},{"given":"Laurent","family":"Regnier","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"5_CR1","unstructured":"Martin Abadi, Georges Gonthier, and Jean-Jacques L\u00e9vy. Linear logic without boxes. In Proceedings of the 7 th Symposium on Logic in Computer Science. IEEE Computer Society Press, 1992."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Andrea Asperti. \u03b4o!\u2208=1. In Hsiang (Jieh), editor, Proceedings of the Sixth Rewriting Techniques and Applications Conference, pages 102\u2013116. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59200-8_51"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"A.H. Clifford and G.B. Preston. The algebraic theory of semi-groups. In Mathematical Surveys, volume 7. American Mathematical Society, 1961.","DOI":"10.1090\/surv\/007.1"},{"key":"5_CR4","unstructured":"Vincent Danos and Laurent Regnier. Local and asynchronous beta-reduction. In Proceedings of the 8 th Symposium on Logic in Computer Science. IEEE Computer Society Press, 1993."},{"key":"5_CR5","unstructured":"Jean-Yves Girard. Geometry of interaction I: an interpretation of system F. In Ferro & al., editor, Proceedings of A.S.L. Meetings. North-Holland, 1988."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Jean-Yves Girard. Geometry of interaction III: acommodating the additives. In Jean-Yves Girard, Yves Lafont, and Laurent Regnier, editors, Advances in Linear Logic, volume 222 of London Mathematical Society Lecture Note Series. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511629150.017"},{"key":"5_CR7","unstructured":"Mario Petrich. Inverse Semigroups. Pure and Applied Mathematics. John Wiley & sons, 1984."}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63172-0_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:17:01Z","timestamp":1605647821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63172-0_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540631729","9783540692010"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-63172-0_33","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}