{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,14]],"date-time":"2026-02-14T02:10:02Z","timestamp":1771035002687,"version":"3.50.1"},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1989,10,1]],"date-time":"1989-10-01T00:00:00Z","timestamp":623203200000},"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":[[1989,10]]},"DOI":"10.1007\/bf01622878","type":"journal-article","created":{"date-parts":[[2005,4,30]],"date-time":"2005-04-30T13:11:11Z","timestamp":1114866671000},"page":"181-203","source":"Crossref","is-referenced-by-count":201,"title":["The structure of multiplicatives"],"prefix":"10.1007","volume":"28","author":[{"given":"Vincent","family":"Danos","sequence":"first","affiliation":[]},{"given":"Laurent","family":"Regnier","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Collected works of Gehrard Gentzen","author":"M.E. Szabo","year":"1969","unstructured":"Szabo, M.E.: Collected works of Gehrard Gentzen. Amsterdam: North-Holland 1969"},{"key":"CR2","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Linear logic. Theoretical Computer Science50 (1987)","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"CR3","unstructured":"Girard, J.Y.: Multiplicatives. To appear in the Proceedings of the Congress of Logic and Computer Science held in Torino, October 1986"},{"key":"CR4","unstructured":"Girard, J.Y.: Towards a geometry of interaction. To appear in the acts of AMS conference on categories, Boulder, June 1987"},{"key":"CR5","unstructured":"Girard, J.Y.: Quantifiers in linear logic. To appear in the Proceedings of the SILFS conference, held in Cesena, January 1987"},{"key":"CR6","volume-title":"Correctness of proof-nets","author":"V. Danos","year":"1988","unstructured":"Danos, V.: Correctness of proof-nets. Draft, universit\u00e9 de Paris VII, March 1988"},{"key":"CR7","volume-title":"Jeux en Logique Lin\u00e9aire","author":"J. Wiele Van de","year":"1988","unstructured":"Van de Wiele, J.: Jeux en Logique Lin\u00e9aire. Draft, Universit\u00e9 de Paris VII, November 1988"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01622878.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01622878\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01622878","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T12:34:18Z","timestamp":1556886858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01622878"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989,10]]},"references-count":7,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1989,10]]}},"alternative-id":["BF01622878"],"URL":"https:\/\/doi.org\/10.1007\/bf01622878","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[1989,10]]}}}