{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:11Z","timestamp":1761611171540},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540633884"},{"type":"electronic","value":"9783540695301"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0014559","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T09:17:33Z","timestamp":1132737453000},"page":"365-390","source":"Crossref","is-referenced-by-count":3,"title":["\u201cClassical\u201d programming-with-proofs in \u03bbSymPA: An analysis of non-confluence"],"prefix":"10.1007","author":[{"given":"Franco","family":"Barbanera","sequence":"first","affiliation":[]},{"given":"Stefano","family":"Berardi","sequence":"additional","affiliation":[]},{"given":"Massimo","family":"Schivalocchi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"issue":"2","key":"15_CR1","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1006\/inco.1996.0025","volume":"125","author":"F. Barbanera","year":"1996","unstructured":"Barbanera, F. and Berardi, S. (1996) A symmetric lambda calculus for \u201cclassical\u201d program extraction, Information and Computation, Symposium issue on TACS'94, 125(2):103\u2013117.","journal-title":"Information and Computation, Symposium issue on TACS'94"},{"key":"15_CR2","unstructured":"Danos, V., Joinet, J.-B. and Schellinx, H. A new deconstructive logic: linear logic, to appear in Journal of Symbolic Logic."},{"issue":"3","key":"15_CR3","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1017\/S0960129500001328","volume":"1","author":"J.Y. Girard","year":"1991","unstructured":"Girard J.Y. (1991) A new constructive logic: classical logic. Mathematical Structures in Computer Science, 1(3):255\u2013296.","journal-title":"Mathematical Structures in Computer Science"},{"issue":"4","key":"15_CR4","first-page":"241","volume":"16","author":"G. Kreisel","year":"1951","unstructured":"Kreisel, G. (1951) On the interpretation of non-finitist proofs, Journal of Symbolic Logic, 16(4):241\u2013267.","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR5","doi-asserted-by":"crossref","first-page":"155","DOI":"10.2307\/2964396","volume":"23","author":"G. Kreisel","year":"1958","unstructured":"Kreisel, G. (1958) Mathematical significance of consistency proofs, Journal of Symbolic Logic, 23:155\u2013182.","journal-title":"Journal of Symbolic Logic"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Nielson (1989) The typed \u03bb-calculus with first-class processes, LNCS 366, Springer-Verlag, 357\u2013369.","DOI":"10.1007\/3-540-51285-3_52"},{"key":"15_CR7","unstructured":"Parigot, M. (1991) Free Deduction: an analysis of computation in classical logic. In Voronkov, A., ed., Russian Conference on Logic Programming, 361\u2013380. Springer Verlag. LNAI 592."},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Parigot, M. (1992) \u03bb\u03bc-calculus: an algorithmic interpretation of classical natural deduction. In Voronkov, A., ed., Logic Programming and Automated Reasoning, 190\u2013201. Springer Verlag. LNAI 624.","DOI":"10.1007\/BFb0013061"},{"issue":"1","key":"15_CR9","doi-asserted-by":"crossref","first-page":"120","DOI":"10.1006\/inco.1995.1057","volume":"118","author":"M. Takahashi","year":"1995","unstructured":"Takahashi, M. (1995) Parallel reductions in \u03bb-calculus, Information and Computation, 118(1):120\u2013127.","journal-title":"Information and Computation"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Thomsen, B. (1989) A Calculus of Higher-Order Communicating Systems, ACM, 143.","DOI":"10.1145\/75277.75290"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computer Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0014559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:47:59Z","timestamp":1586580479000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0014559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540633884","9783540695301"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/bfb0014559","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}