{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:20Z","timestamp":1761611240688},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"4","license":[{"start":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T00:00:00Z","timestamp":1236124800000},"content-version":"unspecified","delay-in-days":5572,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1993,12]]},"abstract":"<jats:p>We present a new model of classical linear logic based on the notion of <jats:italic>strong stability<\/jats:italic> that was introduced recently in a work about sequentiality written jointly with Antonio Bucciarelli.<\/jats:p>","DOI":"10.1017\/s0960129500000281","type":"journal-article","created":{"date-parts":[[2009,3,4]],"date-time":"2009-03-04T04:01:36Z","timestamp":1236139296000},"page":"365-385","source":"Crossref","is-referenced-by-count":42,"title":["Hypercoherences: a strongly stable model of linear logic"],"prefix":"10.1017","volume":"3","author":[{"given":"Thomas","family":"Ehrhard","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,3,4]]},"reference":[{"key":"S0960129500000281_ref003","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(82)80002-9"},{"key":"S0960129500000281_ref011","unstructured":"Kahn G. and Plotkin G. (1978) Domaines Concrets, Rapport IRIA-LABORIA 336."},{"key":"S0960129500000281_ref009","volume":"1","author":"Girard","year":"1991","journal-title":"A new constructive logic: classical logic"},{"key":"S0960129500000281_ref004","volume-title":"French - US Seminar on the Applications of Algebra to Language Definition and Compilation, Fontainebleau","author":"Berry","year":"1985"},{"key":"S0960129500000281_ref006","unstructured":"Curien P.-L. (1986) Categorical Combinators, Sequential Algorithms and Functional Programming, Research Notes in Theoretical Computer Science, Pitman."},{"key":"S0960129500000281_ref002","first-page":"7","volume-title":"Mod\u00e8les des lambda-calculs typ\u00e9s","author":"Berry","year":"1979"},{"key":"S0960129500000281_ref001","volume":"62","author":"Berry","year":"1978","journal-title":"Springer-Verlag LNCS"},{"key":"S0960129500000281_ref013","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90044-5"},{"key":"S0960129500000281_ref008","first-page":"50","article-title":"Linear Logic","author":"Girard","year":"1988","journal-title":"Theor. Comp. Sci."},{"key":"S0960129500000281_ref007","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(86)90044-7"},{"key":"S0960129500000281_ref005","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1991.151638"},{"key":"S0960129500000281_ref012","doi-asserted-by":"crossref","unstructured":"Mac Lane S. (1971) Categories for the Working Mathematician, Springer-Verlag Graduate Texts in Mathematics vol. 5.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"S0960129500000281_ref010","volume-title":"Proofs and Types","author":"Girard","year":"1991"}],"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129500000281","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T16:54:28Z","timestamp":1557939268000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129500000281\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,12]]},"references-count":13,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1993,12]]}},"alternative-id":["S0960129500000281"],"URL":"https:\/\/doi.org\/10.1017\/s0960129500000281","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,12]]}}}