{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T15:34:54Z","timestamp":1726068894593},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540601784"},{"type":"electronic","value":"9783540447207"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60178-3_83","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:50:08Z","timestamp":1330278608000},"page":"145-176","source":"Crossref","is-referenced-by-count":14,"title":["Light linear logic"],"prefix":"10.1007","author":[{"given":"Jean-Yves","family":"Girard","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","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\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"8_CR2","volume-title":"Logic and Algebra","author":"J.-Y. Girard","year":"1995","unstructured":"J.-Y. Girard. Proof-nets: the parallel syntax for proof-theory. In Ursini and Agliano, editors, Logic and Algebra, New York, 1995. Marcel Dekker."},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"J.-Y. Girard","year":"1992","unstructured":"J.-Y. Girard, A. Scedrov, and P.J. Scott. Bounded Linear Logic: A Modular Approach to Polynomial Time Computability. Theoretical Computer Science, 97:1\u201366, 1992.","journal-title":"Theoretical Computer Science"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1070\/IM1982v018n01ABEH001382","volume":"18","author":"V.N. Grishin","year":"1982","unstructured":"V.N. Grishin. Predicate and set-theoretic calculi based on logics without contractions. Math. USSR Izvestiya, 18:41\u201359, 1982.","journal-title":"Math. USSR Izvestiya"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"G.G. Hillebrand, P.C. Kanellakis, and H.G. Mairson. Database query languages embedded in the typed lambda calculus. In Proc. 8-th Annual IEEE Symposium on Logic in Computer Science, Montreal, pages 332\u2013343, June 1993.","DOI":"10.1109\/LICS.1993.287575"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Y. Lafont. From proof-nets to interaction nets. In Girard, Lafont, and Regnier, editors, Advances in Linear Logic. Cambridge University Press, 1995.","DOI":"10.1017\/CBO9780511629150.012"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1006\/inco.1994.1038","volume":"110","author":"D. Leivant","year":"1994","unstructured":"D. Leivant. A foundational delineation of poly-time. Information and Computation, 110:391\u2013420, 1994. (Special issue of selected papers from LICS'91, edited by G. Kahn.).","journal-title":"Information and Computation"},{"key":"8_CR8","doi-asserted-by":"crossref","first-page":"167","DOI":"10.3233\/FI-1993-191-207","volume":"19","author":"D. Leivant","year":"1993","unstructured":"D. Leivant and J.-Y. Marion. Lambda calculus characterizations of poly-time. Fundamenta Informaticae, 19:167\u2013184, 1993. (Special Issue: Lambda Calculus and Type Theory, edited by J. Tiuryn.).","journal-title":"Fundamenta Informaticae"}],"container-title":["Lecture Notes in Computer Science","Logic and Computational Complexity"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60178-3_83.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T09:29:49Z","timestamp":1640942989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60178-3_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540601784","9783540447207"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-60178-3_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}