{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T19:43:33Z","timestamp":1649187813290},"reference-count":9,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"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":[[1994,3]]},"DOI":"10.1007\/bf01352934","type":"journal-article","created":{"date-parts":[[2005,3,27]],"date-time":"2005-03-27T08:09:47Z","timestamp":1111910987000},"page":"131-158","source":"Crossref","is-referenced-by-count":2,"title":["Mod\u00e8le coh\u00e9rent des r\u00e9seaux de preuve"],"prefix":"10.1007","volume":"33","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":"CR1","unstructured":"[DaRe.89] Danos, V., Regnier, L.: ? et ?*: une alternative \ufffd la r\ufffdduction des ?-termes. Preprint, Universit\ufffd Paris 7, 1989"},{"key":"CR2","unstructured":"[Dan.90] Danos, V.: La logique lin\ufffdaire appliqu\ufffde \ufffd l'\ufffdtude de divers processus de normalisation (principalement du ?-calcul). Th\ufffdse de doctorat, Universit\ufffd Paris 7, 1990"},{"key":"CR3","unstructured":"[Duq.92] Duquesne, E.: R\ufffdseaux de preuve, types principaux et lambda-termes. Th\ufffdse de doctorat, Universit\ufffd Paris 7, 1992"},{"key":"CR4","unstructured":"[Duq.93] Duquesne, E.: Proof nets ofPN as graphs. Soumis \ufffd publication (1993)"},{"key":"CR5","first-page":"159","volume":"45","author":"J.Y. Girard","year":"1986","unstructured":"[Gir.86] Girard, J.Y.: The systemF of variable types, fifteen years later Theor. Comput. Sci.45, 159?192 (1986)","journal-title":"Comput. Sci."},{"issue":"1","key":"CR6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"[Gir.87] Girard, J.Y.: Linear logic. Theor. Comput. Sci.50(1), 1?102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"CR7","doi-asserted-by":"crossref","unstructured":"[GoAbLe.92] Gonthier, G., Abadi, M., L\ufffdvy, J.-J.: The geometry of optimal lambda reduction. Proceeding 19th ACM Symposium on Principles of Programming Languages, p. 15?26, 1992","DOI":"10.1145\/143165.143172"},{"key":"CR8","volume-title":"Qualitative ?-models as Type Assignment Systems. Dedicated to J.W. De Bakker in honour of his 25 years of working in Semantics","author":"F. Honsel","year":"1989","unstructured":"[HoRo.89] Honsel, F., Ronchi, S.: Qualitative ?-models as Type Assignment Systems. Dedicated to J.W. De Bakker in honour of his 25 years of working in Semantics. CWI, Amsterdam, 1989"},{"key":"CR9","unstructured":"[Ret.87] Retor\ufffd, C.: Rapport de DEA de Math\ufffdmatiques, Universit\ufffd Paris 7, 1987"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"fr","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01352934.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01352934\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01352934","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T14:58:56Z","timestamp":1586185136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01352934"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":9,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01352934"],"URL":"https:\/\/doi.org\/10.1007\/bf01352934","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}