{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T13:57:12Z","timestamp":1673531832221},"reference-count":11,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[1995,2,1]],"date-time":"1995-02-01T00:00:00Z","timestamp":791596800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Arch Math Logic"],"published-print":{"date-parts":[[1995,2]]},"DOI":"10.1007\/bf02390456","type":"journal-article","created":{"date-parts":[[2006,4,10]],"date-time":"2006-04-10T17:46:38Z","timestamp":1144691198000},"page":"387-412","source":"Crossref","is-referenced-by-count":11,"title":["On the linear decoration of intuitionistic derivations"],"prefix":"10.1007","volume":"33","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":"BF02390456_CR1","unstructured":"Danos, V., Joinet, J.-B., Schellinx, H.: LKQ and LKT: Sequent calculi for second order logic based upon dual linear decompositions of classical implication. Pr\u00e9publication 51, Equipe de Logique Math\u00e9matique, Universit\u00e9 Paris VII. Proc. Workshop Linear Logic, Cornell University, 1993 (to appear)"},{"key":"BF02390456_CR2","series-title":"Springer. Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/BFb0022564","volume-title":"Computational Logic and Proof Theory","author":"V. Danos","year":"1993","unstructured":"Danos, V., Joinet, J.-B., Schellinx, H.: The structure of exponentials: uncovering the dynamics of linear logic proofs. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.), Computational Logic and Proof Theory, pp 159\u2013171. Springer. Lecture Notes in Computer Science 713, Proceedings of the Third Kurt G\u00f6del Colloquium, Brno, Czech Republic, 1993. Berlin Heidelberg New York: Springer 1993b"},{"key":"BF02390456_CR3","unstructured":"Danos, V., Joinet, J.-B., Schellinx, H.: A new deconstructive logic: linear logic. Pr\u00e9publication 52, Equipe de Logique Math\u00e9matique, Universit\u00e9 Paris VII (1994)"},{"key":"BF02390456_CR4","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. Theor. Comput. Sci. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"BF02390456_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. Ann. Pure App. Logic 59, 201\u2013217 (1993)","journal-title":"Ann. Pure App. Logic"},{"key":"BF02390456_CR6","doi-asserted-by":"crossref","unstructured":"Herbelin, H.: A \u03bb-calculus structure isomorphic to sequent calculus structure. Proc. CSL\u201994 (to appear) (1994)","DOI":"10.1007\/BFb0022247"},{"key":"BF02390456_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":"BF02390456_CR8","unstructured":"Regnier, L.: \u03bb-Calcul et r\u00e9seaux. PhD thesis, Universit\u00e9 Paris VII (1992)"},{"issue":"4","key":"BF02390456_CR9","doi-asserted-by":"crossref","first-page":"537","DOI":"10.1093\/logcom\/1.4.537","volume":"1","author":"H. Schellinx","year":"1991","unstructured":"Schellinx, H.: Some syntactical observations on linear logic. J. Logic Computation 1(4), 537\u2013559 (1991)","journal-title":"J. Logic Computation"},{"key":"BF02390456_CR10","unstructured":"Schellinx, H.: The noble art of linear decorating. ILLC Dissertation Series, 1994-1, Institute for Logic, Language and Computation, University of Amsterdam (1994)"},{"key":"BF02390456_CR11","series-title":"CSLI Lecture Notes","volume-title":"Lectures on linear logic","author":"A. S. Troelstra","year":"1992","unstructured":"Troelstra, A. S.: Lectures on linear logic. CSLI Lecture Notes 29. Center for the Study of Language and Information, Stanford (1992)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02390456.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02390456\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02390456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T12:07:43Z","timestamp":1558094863000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02390456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":11,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF02390456"],"URL":"https:\/\/doi.org\/10.1007\/bf02390456","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}