{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:08Z","timestamp":1725664688205},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:00:15Z","timestamp":1330297215000},"page":"130-140","source":"Crossref","is-referenced-by-count":0,"title":["An algebraic correctness criterion for intuitionistic proof-nets"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Groote","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"14_CR1","unstructured":"V. Danos. Une application de la logique lin\u00e9aire \u00e0 l'\u00e9tude des processus de normalisation et principalement du lambda calcul. Th\u00e8se de doctorat, Universit\u00e9 de Paris VII, 1990."},{"key":"14_CR2","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/BF01622878","volume":"28","author":"V. Danos","year":"1989","unstructured":"V. Danos and L. R\u00e9gnier. The structure of multiplicatives. Archive for Mathematical Logic, 28:181\u2013203, 1989.","journal-title":"Archive for Mathematical Logic"},{"key":"14_CR3","doi-asserted-by":"crossref","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":"14_CR4","unstructured":"J.-Y. Girard. Quantifiers in linear logic II. Technical Report 19, Equipe de Logique Math\u00e9matique, Universit\u00e9 de Paris VII, 1991."},{"key":"14_CR5","unstructured":"F. Lamarche. Proof nets for intuitionistic linear logic 1: Essential nets. Technical report, Imperial College, April 1994."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"F. Lamarche. Games semantics for full propositional linear logic. In Ninth Annual IEEE Symposium on Logic in Computer Science. IEEE Press, 1995.","DOI":"10.1109\/LICS.1995.523280"},{"key":"14_CR7","unstructured":"F. Lamarche and C. Retor\u00e9. Proof nets for the lambek calculus. In M. Abrusci, C. Casadio, and G. Sandri, editors, Third Roma Workshop: Proofs and Linguistic Categories, Rapporto di Ricerca del Dipartimento de Filosofia. Universit\u00e0 di Bologna, 1996."},{"key":"14_CR8","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1080\/00029890.1958.11989160","volume":"65","author":"J. Lambek","year":"1958","unstructured":"J. Lambek. The mathematics of sentence structure. Amer. Math. Monthly, 65:154\u2013170, 1958.","journal-title":"Amer. Math. Monthly"},{"key":"14_CR9","unstructured":"D. Roorda. Resource Logics: proof-theoretical investigations. PhD thesis, University of Amsterdam, 1991."}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:41:15Z","timestamp":1619574075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}