{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:07:56Z","timestamp":1725890876602},"publisher-location":"London","reference-count":10,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198062"},{"type":"electronic","value":"9781447135609"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3560-9_5","type":"book-chapter","created":{"date-parts":[[2012,12,30]],"date-time":"2012-12-30T01:49:46Z","timestamp":1356832186000},"page":"61-79","source":"Crossref","is-referenced-by-count":0,"title":["Proof Nets"],"prefix":"10.1007","author":[{"given":"Mario","family":"Ornaghi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Bates J., Constable R. - Proofs as programs -ACM Transaction on Programming Languages and Systems, vol. 7, n.l, 1985, pp. 113\u2013136.","DOI":"10.1145\/2363.2528"},{"key":"5_CR2","volume-title":"Springer Verlag","author":"W Brauer","year":"1987","unstructured":"Brauer W., Reisig W., Rozenberg G. (ed.) - Petri Nets: Central Models and Their Properties - LNCS n. 254, Springer Verlag, 1987."},{"key":"5_CR3","volume-title":"- Implementing Mathematics with the Nuprl Development System - N","author":"R Constable","year":"1986","unstructured":"Constable R. et al. -\n                Implementing Mathematics with the Nuprl Development System - N. J., Prentice-Hall, 1986."},{"key":"5_CR4","volume-title":"Stanford University","author":"C Goad","year":"1980","unstructured":"Goad C. - Computational uses of the manipulation of formal proofs - Rep. STAN-CS-80\u2013819, Stanford University, 1980."},{"key":"5_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"Girard","year":"1987","unstructured":"Girard, J.Y.\u2013Linear Logic\u2013Theoretical Computer Science, 50 (1987), pp. 1\u2013102.","journal-title":"J.y. - Linear Logic - Theoretical Computer Science"},{"key":"5_CR6","volume-title":"Cambridge","author":"S Hayashi","year":"1988","unstructured":"Hayashi S., Nakano H. - PX: A computational logic\n                - MIT Press, Cambridge, 1988."},{"key":"5_CR7","first-page":"2","volume":"1","author":"P Miglioli","year":"1981","unstructured":"Miglioli P., Ornaghi M. - A logically justified model of computation I,II - Fundamenta Informaticae, IV. 1, 2, 1981.","journal-title":"Iv"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Nelson D. - Constructible falsity -Journalof Symbolic Logic, vol 14, pag. 16\u201326","DOI":"10.2307\/2268973"},{"key":"5_CR9","unstructured":"Nepejvoda N. - Proofs as Graphs -Semiotics and Informatics, vol. 26, 1986 (known by title)"},{"issue":"3","key":"5_CR10","first-page":"288","volume":"24","author":"B Nordstrom","year":"1984","unstructured":"Nordstrom B., Smith J.M.\u2013Propositions, Types and Specifications of Programs in Martin-L\u00f6fs Type Theory\u2013BIT, vol. 24, n. 3, 1984, pp. 288\u2013301.","journal-title":"Types and Specifications of Programs in Martin-L\u00f6fs Type Theory - Bit"}],"container-title":["Workshops in Computing","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3560-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,9]],"date-time":"2019-05-09T23:20:49Z","timestamp":1557444049000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3560-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198062","9781447135609"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3560-9_5","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}