{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:06:14Z","timestamp":1767927974248,"version":"3.49.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"value":"3540571841","type":"print"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022564","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:14:45Z","timestamp":1131862485000},"page":"159-171","source":"Crossref","is-referenced-by-count":32,"title":["The structure of exponentials: Uncovering the dynamics of linear logic proofs"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Jean -Baptiste","family":"Joinet","sequence":"additional","affiliation":[]},{"given":"Harold","family":"Schellinx","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"Danos, V., Joinet, J.-B. and Schellinx, H.: On the linear decoration of intuitionistic derivations. Pr\u00e9publication 41, \u00c9quipe de Logique Math\u00e9matique, Universit\u00e9 Paris VII. Janvier 1993."},{"key":"18_CR2","unstructured":"Danos, V., Joinet, J.-B. and Schellinx, H.: LKQ and LKT. Sequent calculi for second order logic based upon dual linear decompositions of classical implication (The Noble Art of Linear Decorating II). In preparation."},{"key":"18_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":"Girard, J.-Y.: Linear Logic. Theoretical Computer Science50 (1987) 1\u2013102.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"18_CR4","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J.-Y. Girard","year":"1991","unstructured":"Girard, J.-Y.: A new constructive logic: classical logic. Mathematical Structures in Computer Science1 (3) (1991) 255\u2013296.","journal-title":"Mathematical Structures in Computer Science"},{"key":"18_CR5","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0168-0072(93)90093-S","volume":"59","author":"J.-Y. Girard","year":"1993","unstructured":"Girard, J.-Y.: On the unity of logic. Annals of Pure and Applied Logic59 (1993) 201\u2013217.","journal-title":"Annals of Pure and Applied Logic"},{"key":"18_CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"J.-Y. Girard","year":"1992","unstructured":"Girard, J.-Y., Scedrov, A. and Scott, P.J.: Bounded linear logic: a modular approach to polynomial time computability. Theoretical Computer Science97 (1992) 1\u201366.","journal-title":"Theoretical Computer Science"},{"key":"18_CR7","unstructured":"Joinet, J.-B.: Etude de la normalisation du calcul des s\u00e9quents classique \u00e0 travers la logique lin\u00e9aire. PhD thesis, Universit\u00e9 Paris VII (1993)."},{"key":"18_CR8","unstructured":"Parigot, M.: \u03bb\u03bc-Calculus: an algorithmic interpretation of classical natural deduction. In: Lecture Notes in Artificial Intelligence 624, Proceedings of the LPAR, St. Petersburg, July 1992. Edited by A. Voronkov."},{"key":"18_CR9","unstructured":"Troelstra, A.S.: Lectures on Linear Logic. CSLI Lecture Notes 29, Stanford (1992)."}],"container-title":["Lecture Notes in Computer Science","Computational Logic and Proof Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022564.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:49:02Z","timestamp":1607550542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540571841"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0022564","relation":{},"subject":[]}}