{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:41Z","timestamp":1755220961216,"version":"3.43.0"},"reference-count":18,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1023\/a:1005124501371","type":"journal-article","created":{"date-parts":[[2002,12,21]],"date-time":"2002-12-21T16:06:43Z","timestamp":1040486803000},"page":"77-105","source":"Crossref","is-referenced-by-count":1,"title":["Prolegomena of a Logic of Causality and Dynamism"],"prefix":"10.1007","volume":"62","author":[{"given":"P.","family":"Bellot","sequence":"first","affiliation":[]},{"given":"J-P.","family":"Cottin","sequence":"additional","affiliation":[]},{"given":"B.","family":"Robinet","sequence":"additional","affiliation":[]},{"given":"D.","family":"Sarni","sequence":"additional","affiliation":[]},{"given":"J.","family":"Leneutre","sequence":"additional","affiliation":[]},{"given":"E.","family":"Zarpas","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"205278_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S., \u2018Computational interpretations of linear logic\u2019, Theoretical Computer Science 111, 3\u201357, 1993.","journal-title":"Theoretical Computer Science"},{"key":"205278_CR2","unstructured":"Bellot, P., J.-P. Cottin, A. Demaille, J. Leneutre, E. Zarpas, \u2018A logic of actions for imperative program synthesis\u2019, European Summer Meeting of the Association for the Symbolic Logic (Logic Colloquium'96), San Sebastian, 1996 (to appear)."},{"key":"205278_CR3","unstructured":"Bellot, P., J. Leneutre, E. Zarpas, \u2018The B-logic, from the big bang to the big crunch\u2019, TELECOM Paris internal report n. 94C002, 1994."},{"key":"205278_CR4","unstructured":"Bellot, P., J. Leneutre, B. Robinet, E. Zarpas, \u2018Future trends of software engineering\u2019, TELECOM Paris internal report n. 94D020, 1994."},{"key":"205278_CR5","unstructured":"Bellot, P., R. Legrand, \u2018From logic to relational calculus\u2019, ILPS'93, Global Compilation workshop, S. Michaylov & W. Winsborough (ed.), Vancouver (Canada), October 1993."},{"key":"205278_CR6","unstructured":"de Bruijn, N., \u2018A survey of the project Automath\u2019, in To H. B. Curry: Essays on Combinatory Logic, Lambda-Calculus and Formalism, p. 579\u2013606, Academic Press, 1980."},{"key":"205278_CR7","volume-title":"Logic Colloquiurn'85","author":"T. Coquand","year":"1985","unstructured":"Coquand, T., G. Huet, \u2018Concepts math\u00e9matiques et informatiques formalis\u00e9s dans le lambda-calcul des constructions\u2019, in Logic Colloquiurn'85, North-Holland, Amsterdam, 1985."},{"key":"205278_CR8","volume-title":"Combinatory Logic","author":"H. B. Curry","year":"1958","unstructured":"Curry, H. B., R. Feys, Combinatory Logic, vol. I, North-Holland, Amsterdam, 1958."},{"key":"205278_CR9","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., \u2018Linear Logic\u2019, Theoretical Computer Science 50, 1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"205278_CR10","volume-title":"Logique et informatique: une introduction","author":"J-Y. Girard","year":"1989","unstructured":"Girard, J-Y., \u2018Introduction \u00e0 la Logique Lin\u00e9aire\u2019, in Logique et informatique: une introduction, INRIA, B. Courcelle (ed.), Paris, 1989."},{"key":"205278_CR11","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1090\/conm\/092\/1003197","volume":"92","author":"J-Y. Girard","year":"1989","unstructured":"Girard, J-Y., \u2018Towards a geometry of interaction\u2019, Contemporary Mathematics 92, 69\u2013108, 1989.","journal-title":"Contemporary Mathematics"},{"key":"205278_CR12","unstructured":"Huet, G., et al., The Coq proof assistant users's guide, version 5.6, INRIA Report 134, Paris, 1990."},{"key":"205278_CR13","unstructured":"Krivine, J-L., Lambda-Calcul, Types et Mod\u00e8les, Masson, collection E.R.I, 1990."},{"key":"205278_CR14","unstructured":"Krivine, J-L., M. Parigot, \u2018Programming with proofs\u2019, in 6th Symposium on Computation Theory, Wendish-Rietz, 1987."},{"key":"205278_CR15","first-page":"153","volume-title":"Logic, Methodology and the Philosophy of Sciences","author":"P. Martin-L\u00d6f","year":"1980","unstructured":"Martin-L\u00d6f, P., \u2018Constructive mathematics and computer programming\u2019, in Logic, Methodology and the Philosophy of Sciences 6, p. 153\u2013175, North-Holland, Amsterdam, 1980."},{"key":"205278_CR16","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0304-3975(93)90007-G","volume":"113","author":"M. Masseron","year":"1993","unstructured":"Masseron, M., C. Tollu, J. Vauzeilles, \u2018Generating plans in Linear Logic: Actions as proofs\u2019, Theoretical Computer Science 113, 349\u2013370, 1993.","journal-title":"Theoretical Computer Science"},{"key":"205278_CR17","unstructured":"Reddy, U. S., \u2018A linear logic model of state\u2019, University of Illinois at Urbana-Champaign, manuscript available by ftp from s.uiuc.edu, directory \/pub\/reddy\/papers, 1993."},{"key":"205278_CR18","volume-title":"R\u00e9seaux et S\u00e9quents Ordonn\u00e9s","author":"C. Retor\u00c9","year":"1993","unstructured":"Retor\u00c9, C., R\u00e9seaux et S\u00e9quents Ordonn\u00e9s, Phd thesis, University of Paris 7, Paris, February 1993."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005124501371.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1005124501371\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1005124501371.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:20:33Z","timestamp":1754630433000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1005124501371"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":18,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["205278"],"URL":"https:\/\/doi.org\/10.1023\/a:1005124501371","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}