{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T17:02:47Z","timestamp":1742403767104,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540662013"},{"type":"electronic","value":"9783540486855"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48685-2_6","type":"book-chapter","created":{"date-parts":[[2010,3,29]],"date-time":"2010-03-29T21:13:41Z","timestamp":1269897221000},"page":"75-89","source":"Crossref","is-referenced-by-count":6,"title":["Strong Normalization of Proof Nets Modulo Structural Congruences"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Di Cosmo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Guerrini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[1999,11,5]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"A. Asperti, V. Danos, C. Laneve, and L. Regnier. Paths in the lambda-calculus: three years of communications without understanding. In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science (LICS), pages 426\u2013436, Paris, France, 1994.","DOI":"10.1109\/LICS.1994.316048"},{"key":"6_CR2","volume-title":"Une Application de la Logique Lin\u00e9aire \u00e0 l\u2019 \u00c8tude des Processus de Normalisation (principalement du \u03bb-calcul)","author":"V. Danos","year":"1990","unstructured":"V. Danos. Une Application de la Logique Lin\u00e9aire \u00e0 l\u2019 \u00c8tude des Processus de Normalisation (principalement du \u03bb-calcul). PhD Thesis, Universit\u00e9 Paris 7, Paris, June 1990."},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/BF01622878","volume":"28","author":"V. Danos","year":"1989","unstructured":"V. Danos and L. Regnier. The structure of multiplicatives. Archive for Mathematical Logic, 28:181\u2013203, 1989.","journal-title":"Archive for Mathematical Logic"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"V. Danos and L. Regnier. Proof-nets and the Hilbert space. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, pages 307\u2013328. Cambridge University Press, 1995. Proceedings of the Workshop on Linear Logic, Ithaca, New York, June 1993.","DOI":"10.1017\/CBO9780511629150.016"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"R. Di Cosmo and D. Kesner. Strong normalization of explicit substitutions via cut elimination in proof nets. In Proceedings, Twelfth Annual IEEE Symposium on Logic in Computer Science (LICS), pages 35\u201346, Warsaw, Poland, 1997. Full Paper available as http:\/\/www.dmi.ens.fr\/~dicosmo\/Pub\/esll.ps.gz .","DOI":"10.1109\/LICS.1997.614927"},{"issue":"1","key":"6_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":"J.-Y. Girard. Linear logic. Theoretical Comput. Sci., 50(1):1\u2013102, 1987.","journal-title":"Theoretical Comput. Sci."},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"S. Guerrini. Correctness of multiplicative proof nets is linear. In Proceedings, Fourteenth Annual IEEE Symposium on Logic in Computer Science (LICS), Trento, Italy, 1999.","DOI":"10.1109\/LICS.1999.782640"},{"key":"6_CR8","unstructured":"J.-B. Joinet. \u00c8tude de la normalisation du calcul des s\u00e9quents classique \u00e0 travers la logique lin\u00e9aire. PhD Thesis, Universit\u00e9 Paris 7, Paris, 1993."}],"container-title":["Lecture Notes in Computer Science","Rewriting Techniques and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48685-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T19:15:58Z","timestamp":1739992558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48685-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540662013","9783540486855"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-48685-2_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}