{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T15:25:44Z","timestamp":1648913144357},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"1","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\/bf01269873","type":"journal-article","created":{"date-parts":[[2005,3,24]],"date-time":"2005-03-24T05:23:59Z","timestamp":1111641839000},"page":"1-20","source":"Crossref","is-referenced-by-count":0,"title":["Proof nets of PN as graphs"],"prefix":"10.1007","volume":"34","author":[{"given":"Eric","family":"Duquesne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Van de Wiele","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01269873_CR1","doi-asserted-by":"crossref","unstructured":"[AbCaCuLe90] Abadi, M., Cardelli, L., Curien, P.-L., L\u00e9vy, J.-J.: Explicit Substitutions. ACM Conference on Principle of Programming Languages, San-Francisco 1990","DOI":"10.1145\/96709.96712"},{"key":"BF01269873_CR2","unstructured":"[BeVdeW94] Bellin, G., Van de Wiele, J.: Proof nets and typed lambda-calculus, Preprint 1994"},{"key":"BF01269873_CR3","unstructured":"[Dan90] Danos, V.: La logique lin\u00e9aire appliqu\u00e9e \u00e0 l'\u00e9tude de divers processus de normalisation (principalement du \u03bb-calcul). Th\u00e8se de doctorat, University Paris 7, June 1990"},{"key":"BF01269873_CR4","unstructured":"[DaRe89] Danos, V., Regnier, L.: \u039b et \u039b*: Une alternative \u00e0 la r\u00e9duction des \u03bb-termes. Draft, University Paris 7, 1989."},{"key":"BF01269873_CR5","unstructured":"[Duq92] Duquesne, E.: R\u00e9seaux de preuve, types principaux et lambda-termes. Th\u00e8se de doctorat, University Paris 7, 1992"},{"key":"BF01269873_CR6","unstructured":"[DuVdeW92] Duquesne, E., Van de Wiede, J.: Syst\u00e8mes de R\u00e9seaux multiplicatifs sign\u00e9s. Draft, University Paris 7, 1992"},{"key":"BF01269873_CR7","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF01352934","volume":"33","author":"E. Duquesne","year":"1994","unstructured":"[DuVdeW94] Duquesne, E., Van de Wiele, J.: Mod\u00e8le coh\u00e9rent des r\u00e9seaux de preuve. Arch. Math. Log.33, 131\u2013158 (1994)","journal-title":"Arch. Math. Log."},{"key":"BF01269873_CR8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"[Gir87] Girard, J.-Y.: Linear logic. Theor. Comput. Sci.50, 1 (1987)","journal-title":"Linear logic. Theor. Comput. Sci."},{"key":"BF01269873_CR9","doi-asserted-by":"crossref","unstructured":"[GoAbLe92] Gonthier, G., Abadi, M., L\u00e9vy, J.-J.: The geometry of optimal lambda reduction. Proceeding 19th ACM Symposium on Principles of Programming Languages, p. 15\u201326, 1992","DOI":"10.1145\/143165.143172"},{"key":"BF01269873_CR10","unstructured":"[Lam94] Lamarche, F.: On Multiplicative-Additive Linear Logic. Imperial College, 1994"},{"key":"BF01269873_CR11","volume-title":"Proceedings of the second Scandinavian logic symposium","author":"D. Prawitz","year":"1971","unstructured":"[Pra71] Prawitz, D.: Ideas and results in proof-theory. In: Proceedings of the second Scandinavian logic symposium, Amsterdam, North-Holland, 1971"},{"key":"BF01269873_CR12","unstructured":"[Reg91] Regnier, L.: \u03bb-calcul et r\u00e9seaux. Th\u00e8se de doctorat, University Paris 7, 1991"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269873.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01269873\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01269873","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T18:13:55Z","timestamp":1556648035000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01269873"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,2]]},"references-count":12,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,2]]}},"alternative-id":["BF01269873"],"URL":"https:\/\/doi.org\/10.1007\/bf01269873","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,2]]}}}