{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:14:50Z","timestamp":1743016490259,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540875307"},{"type":"electronic","value":"9783540875314"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-87531-4_19","type":"book-chapter","created":{"date-parts":[[2008,8,30]],"date-time":"2008-08-30T08:40:53Z","timestamp":1220085653000},"page":"246-261","source":"Crossref","is-referenced-by-count":0,"title":["A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic"],"prefix":"10.1007","author":[{"given":"Paolo","family":"Tranquilli","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","first-page":"431","volume-title":"LICS","author":"S. Abramsky","year":"1999","unstructured":"Abramsky, S., Melli\u00e8s, P.-A.: Concurrent games and full completeness. In: LICS, pp. 431\u2013442. IEEE Computer Society Press, Los Alamitos (1999)"},{"issue":"1-3","key":"19_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.apal.2004.05.002","volume":"131","author":"R. Blute","year":"2005","unstructured":"Blute, R., Hamano, M., Scott, P.J.: Softness of hypercoherences and MALL full completeness. Ann. Pure Appl. Logic\u00a0131(1-3), 1\u201363 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"19_CR3","first-page":"138","volume-title":"LICS","author":"A. Bucciarelli","year":"1991","unstructured":"Bucciarelli, A., Ehrhard, T.: Sequentiality and strong stability. In: LICS, pp. 138\u2013145. IEEE Computer Society Press, Los Alamitos (July 1991)"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01622878","volume":"28","author":"V. Danos","year":"1989","unstructured":"Danos, V., Regnier, L.: The structure of multiplicatives. Archive for Mathematical Logic\u00a028, 181\u2013203 (1989)","journal-title":"Archive for Mathematical Logic"},{"key":"19_CR5","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1017\/CBO9780511629150.005","volume-title":"Advances in Linear Logic","author":"T. Ehrhard","year":"1995","unstructured":"Ehrhard, T.: Hypercoherence: A strongly stable model of linear logic. In: Advances in Linear Logic, pp. 83\u2013108. Cambridge University Press, Cambridge (1995)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"Girard, J.-Y.: Linear logic. Th. Comp. Sc.\u00a050, 1\u2013102 (1987)","journal-title":"Th. Comp. Sc."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"Girard, J.-Y.: Proof-nets: the parallel syntax for proof-theory. In: Logic and Algebra. Lecture Notes in Pure and Appl. Math, vol.\u00a0180, pp. 97\u2013124 (1996)","DOI":"10.1201\/9780203748671-4"},{"key":"19_CR8","first-page":"1","volume-title":"LICS","author":"D. Hughes","year":"2003","unstructured":"Hughes, D., van Glabbeek, R.: Proof nets for unit-free multiplicative-additive linear logic. In: LICS, pp. 1\u201310. IEEE Computer Society Press, Los Alamitos (2003)"},{"key":"19_CR9","doi-asserted-by":"crossref","unstructured":"Laurent, O., de Falco, L.T.: Slicing polarized additive normalization. In: Linear Logic in Computer Science, pp. 247\u2013282 (2004)","DOI":"10.1017\/CBO9780511550850.008"},{"key":"19_CR10","unstructured":"Melli\u00e8s, P.-A., Mimram, S.: Asynchronous games without alternation (submitted, 2008)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"531","DOI":"10.1007\/11874683_35","volume-title":"Computer Science Logic","author":"M. Pagani","year":"2006","unstructured":"Pagani, M.: Acyclicity and coherence in multiplicative and exponential linear logic. In: \u00c9sik, Z. (ed.) CSL 2006. LNCS, vol.\u00a04207, pp. 531\u2013545. Springer, Heidelberg (2006)"},{"key":"19_CR12","unstructured":"Pagani, M.: Proof nets and cliques: towards the understanding of analytical proofs. PhD thesis, Universit\u00e0 Roma Tre \/ Universit\u00e9 Aix-Marseille II (April 2006)"},{"key":"19_CR13","unstructured":"Pagani, M.: Visible acyclic nets: between interaction and semantics (in preparation, 2008)"},{"issue":"3","key":"19_CR14","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1016\/j.ic.2005.11.002","volume":"204","author":"L. Paolini","year":"2006","unstructured":"Paolini, L.: A stable programming language. Inf. Comput.\u00a0204(3), 339\u2013375 (2006)","journal-title":"Inf. Comput."},{"issue":"3","key":"19_CR15","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0304-3975(77)90044-5","volume":"5","author":"G.D. Plotkin","year":"1977","unstructured":"Plotkin, G.D.: Lcf considered as a programming language. Theor. Comput. Sci.\u00a05(3), 225\u2013255 (1977)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"19_CR16","doi-asserted-by":"publisher","first-page":"445","DOI":"10.1017\/S096012959700234X","volume":"7","author":"C. Retor\u00e9","year":"1997","unstructured":"Retor\u00e9, C.: A semantic characterisation of the correctness of a proof net. Mathematical Structures in Computer Science\u00a07(5), 445\u2013452 (1997)","journal-title":"Mathematical Structures in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87531-4_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:13:06Z","timestamp":1715058786000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-87531-4_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540875307","9783540875314"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87531-4_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}