乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T22:50:49Z","timestamp":1673477449938},"reference-count":27,"publisher":"Elsevier BV","issue":"12","license":[{"start":{"date-parts":[[2012,12,1]],"date-time":"2012-12-01T00:00:00Z","timestamp":1354320000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Pure and Applied Logic"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1016\/j.apal.2012.04.005","type":"journal-article","created":{"date-parts":[[2012,6,5]],"date-time":"2012-06-05T19:39:51Z","timestamp":1338925191000},"page":"1808-1837","source":"Crossref","is-referenced-by-count":9,"title":["Interaction graphs: Multiplicatives"],"prefix":"10.1016","volume":"163","author":[{"given":"Thomas","family":"Seiller","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"5","key":"10.1016\/j.apal.2012.04.005_br0010","doi-asserted-by":"crossref","first-page":"625","DOI":"10.1017\/S0960129502003730","article-title":"Geometry of interaction and linear combinatory algebras","volume":"12","author":"Abramsky","year":"2002","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/j.apal.2012.04.005_br0020","series-title":"TACS \u02bc94: Proceedings of the International Conference on Theoretical Aspects of Computer Software","first-page":"1","article-title":"Full abstraction for pcf","author":"Abramsky","year":"1994"},{"key":"10.1016\/j.apal.2012.04.005_br0030","series-title":"Proceedings of the 9th Symposium on Logic in Computer Science","article-title":"Paths in the lambda-calculus","author":"Asperti","year":"1994"},{"key":"10.1016\/j.apal.2012.04.005_br0040","series-title":"Advances in Linear Logic","article-title":"Proof-nets and the Hilbert space","volume":"vol. 222","author":"Danos","year":"1995"},{"key":"10.1016\/j.apal.2012.04.005_br0050","series-title":"RTA \u02bc09: Proceedings of the 20th International Conference on Rewriting Techniques and Applications","first-page":"209","article-title":"An explicit framework for interaction nets","author":"de Falco","year":"2009"},{"key":"10.1016\/j.apal.2012.04.005_br0060","first-page":"530","article-title":"Determinant theory in finite factors","volume":"2","author":"Fuglede","year":"1952","journal-title":"Ann. of Math."},{"key":"10.1016\/j.apal.2012.04.005_br0070","first-page":"11","article-title":"Multiplicatives","author":"Girard","year":"1987","journal-title":"Rend. Semin. Mat. Univ. Politec. Torino"},{"issue":"1","key":"10.1016\/j.apal.2012.04.005_br0080","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","article-title":"Linear logic","volume":"50","author":"Girard","year":"1987","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.apal.2012.04.005_br0090","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard, Geometry of interaction I: Interpretation of system f, in: Proc. Logic Colloquium 88, 1989.","DOI":"10.1016\/S0049-237X(08)70271-4"},{"key":"10.1016\/j.apal.2012.04.005_br0100","doi-asserted-by":"crossref","unstructured":"J.-Y. Girard, Towards a geometry of interaction, in: Proceedings of the AMS Conference on Categories, Logic and Computer Science, 1989.","DOI":"10.1090\/conm\/092\/1003197"},{"issue":"3","key":"10.1016\/j.apal.2012.04.005_br0110","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S096012950100336X","article-title":"Locus solum: From the rules of logic to the logic of rules","volume":"11","author":"Girard","year":"2001","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/j.apal.2012.04.005_br0120","series-title":"Linear Logic in Computer Science","article-title":"Between logic and quantic: a tract","author":"Girard","year":"2004"},{"key":"10.1016\/j.apal.2012.04.005_br0130","series-title":"Logic Colloquium 2003","first-page":"76","article-title":"Geometry of interaction IV: the feedback equation","author":"Girard","year":"2006"},{"issue":"20","key":"10.1016\/j.apal.2012.04.005_br0140","doi-asserted-by":"crossref","first-page":"1860","DOI":"10.1016\/j.tcs.2010.12.016","article-title":"Geometry of interaction V: Logic in the hyperfinite factor","volume":"412","author":"Girard","year":"2011","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.apal.2012.04.005_br0150","series-title":"The Blind Spot: Lectures on Logic","author":"Girard","year":"2011"},{"key":"10.1016\/j.apal.2012.04.005_br0160","unstructured":"G. Gonthier, M. Abadi, J.-J. L\u00e9vy, Linear logic without boxes, 1992."},{"issue":"2","key":"10.1016\/j.apal.2012.04.005_br0170","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1006\/inco.2000.2917","article-title":"On full abstraction for pcf: I, II, and III","volume":"163","author":"Hyland","year":"2000","journal-title":"Inform. and Comput."},{"key":"10.1016\/j.apal.2012.04.005_br0180","article-title":"Fundamentals of the Theory of Operator Algebras, Vol. I. Elementary Theory","volume":"vol. 15","author":"Kadison","year":"1997"},{"key":"10.1016\/j.apal.2012.04.005_br0190","article-title":"Fundamentals of the Theory of Operator Algebras, Vol. II. Advanced Theory","volume":"vol. 16","author":"Kadison","year":"1997"},{"key":"10.1016\/j.apal.2012.04.005_br0200","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0022-4049(71)90013-2","article-title":"Coherence in closed categories","volume":"1","author":"Kelly","year":"1971","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.apal.2012.04.005_br0210","series-title":"Theory and Application of Infinite Series","author":"Knopp","year":"1964"},{"key":"10.1016\/j.apal.2012.04.005_br0220","series-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1971"},{"key":"10.1016\/j.apal.2012.04.005_br0230","series-title":"C\u204e-algebras and Operator Theory","author":"Murphy","year":"1990"},{"key":"10.1016\/j.apal.2012.04.005_br0240","series-title":"Categories in Computer Science and Logic, Proceedings of the AMS\u2013IMS\u2013SIAM Joint Summer Research Conference","first-page":"371","article-title":"Linear logic, \u204e-autonomous categories and cofree coalgebras","volume":"vol. 92","author":"Seely","year":"1989"},{"key":"10.1016\/j.apal.2012.04.005_br0250","article-title":"Theory of Operator Algebras. I","volume":"vol. 124","author":"Takesaki","year":"2002"},{"key":"10.1016\/j.apal.2012.04.005_br0260","article-title":"Theory of Operator Algebras. II","volume":"vol. 125","author":"Takesaki","year":"2003"},{"key":"10.1016\/j.apal.2012.04.005_br0270","article-title":"Theory of Operator Algebras. III","volume":"vol. 127","author":"Takesaki","year":"2003"}],"container-title":["Annals of Pure and Applied Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007212000759?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0168007212000759?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,11,23]],"date-time":"2018-11-23T01:20:24Z","timestamp":1542936024000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0168007212000759"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12]]},"references-count":27,"journal-issue":{"issue":"12","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["S0168007212000759"],"URL":"https:\/\/doi.org\/10.1016\/j.apal.2012.04.005","relation":{},"ISSN":["0168-0072"],"issn-type":[{"value":"0168-0072","type":"print"}],"subject":[],"published":{"date-parts":[[2012,12]]}}}