乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,5]],"date-time":"2024-07-05T17:43:36Z","timestamp":1720201416519},"reference-count":31,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2016,12,1]],"date-time":"2016-12-01T00:00:00Z","timestamp":1480550400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2020,12,20]],"date-time":"2020-12-20T00:00:00Z","timestamp":1608422400000},"content-version":"vor","delay-in-days":1480,"URL":"http:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"funder":[{"DOI":"10.13039\/501100005802","name":"National Authority for Scientific Research","doi-asserted-by":"publisher","award":["PN-II-ID-PCE-2011-3-0439"],"id":[{"id":"10.13039\/501100005802","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1016\/j.tcs.2016.09.009","type":"journal-article","created":{"date-parts":[[2016,9,30]],"date-time":"2016-09-30T11:19:56Z","timestamp":1475234396000},"page":"46-59","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":3,"special_numbering":"PA","title":["Functorial semantics of first-order views"],"prefix":"10.1016","volume":"656","author":[{"ORCID":"http:\/\/orcid.org\/0000-0003-0428-236X","authenticated-orcid":false,"given":"R\u0103zvan","family":"Diaconescu","sequence":"first","affiliation":[]}],"member":"78","reference":[{"issue":"3","key":"10.1016\/j.tcs.2016.09.009_br0010","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/s11225-007-9043-z","article-title":"An institution-independent proof of the Beth definability theorem","volume":"85","author":"Aiguier","year":"2007","journal-title":"Studia Logica"},{"key":"10.1016\/j.tcs.2016.09.009_br0020","series-title":"TAPSOFT 1","first-page":"359","article-title":"The semantics of shared submodules specifications","volume":"vol. 185","author":"Blum","year":"1985"},{"key":"10.1016\/j.tcs.2016.09.009_br0030","series-title":"Handbook of Categorical Algebra","author":"Borceux","year":"1994"},{"key":"10.1016\/j.tcs.2016.09.009_br0040","series-title":"Proceedings, Fifth International Joint Conference on Artificial Intelligence","first-page":"1045","article-title":"Putting theories together to make specifications","author":"Burstall","year":"1977"},{"issue":"1","key":"10.1016\/j.tcs.2016.09.009_br0050","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","article-title":"A formulation of the simple theory of types","volume":"5","author":"Church","year":"1940","journal-title":"J. Symbolic Logic"},{"issue":"5","key":"10.1016\/j.tcs.2016.09.009_br0060","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1093\/logcom\/14.5.651","article-title":"Elementary diagrams in institutions","volume":"14","author":"Diaconescu","year":"2004","journal-title":"J. Logic Comput."},{"key":"10.1016\/j.tcs.2016.09.009_br0070","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/j.ipl.2004.01.005","article-title":"Herbrand theorems in arbitrary institutions","volume":"90","author":"Diaconescu","year":"2004","journal-title":"Inform. Process. Lett."},{"key":"10.1016\/j.tcs.2016.09.009_br0080","series-title":"Institution-Independent Model Theory","author":"Diaconescu","year":"2008"},{"issue":"5","key":"10.1016\/j.tcs.2016.09.009_br0090","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1007\/s10485-009-9211-6","article-title":"Grothendieck inclusion systems","volume":"19","author":"Diaconescu","year":"2011","journal-title":"Appl. Categ. Structures"},{"key":"10.1016\/j.tcs.2016.09.009_br0100","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1016\/j.tcs.2012.03.001","article-title":"An axiomatic approach to structuring specifications","volume":"433","author":"Diaconescu","year":"2012","journal-title":"Theoret. Comput. Sci."},{"issue":"28","key":"10.1016\/j.tcs.2016.09.009_br0110","doi-asserted-by":"crossref","first-page":"3145","DOI":"10.1016\/j.tcs.2011.04.008","article-title":"On the algebra of structured specifications","volume":"412","author":"Diaconescu","year":"2011","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.tcs.2016.09.009_br0120","article-title":"CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification","volume":"vol. 6","author":"Diaconescu","year":"1998"},{"key":"10.1016\/j.tcs.2016.09.009_br0130","series-title":"Logical Environments, Proceedings of a Workshop Held in Edinburgh","first-page":"83","article-title":"Logical support for modularisation","author":"Diaconescu","year":"1993"},{"issue":"6","key":"10.1016\/j.tcs.2016.09.009_br0140","doi-asserted-by":"crossref","first-page":"693","DOI":"10.1007\/s00153-010-0193-8","article-title":"Saturated models in institutions","volume":"49","author":"Diaconescu","year":"2010","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/j.tcs.2016.09.009_br0150","article-title":"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics","volume":"vol. 6","author":"Ehrig","year":"1985"},{"key":"10.1016\/j.tcs.2016.09.009_br0160","series-title":"Pragmatics, concepts, syntax, semantics and correctness notions of ACT TWO: an algebraic module specification and interconnection language","author":"Fey","year":"1988"},{"key":"10.1016\/j.tcs.2016.09.009_br0170","series-title":"Research Topics in Functional Programming","first-page":"309","article-title":"Higher-order functions considered unnecessary for higher-order programming","author":"Goguen","year":"1990"},{"issue":"1","key":"10.1016\/j.tcs.2016.09.009_br0180","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","article-title":"Institutions: abstract model theory for specification and programming","volume":"39","author":"Goguen","year":"1992","journal-title":"J. ACM"},{"key":"10.1016\/j.tcs.2016.09.009_br0190","series-title":"From Object-Orientation to Formal Methods","first-page":"96","article-title":"Composing hidden information modules over inclusive institutions","volume":"vol. 2635","author":"Goguen","year":"2004"},{"key":"10.1016\/j.tcs.2016.09.009_br0200","series-title":"Software Engineering with OBJ: Algebraic Specification in Action","article-title":"Introducing OBJ","author":"Goguen","year":"2000"},{"key":"10.1016\/j.tcs.2016.09.009_br0210","series-title":"Standard ML","author":"Harper","year":"1986"},{"issue":"1","key":"10.1016\/j.tcs.2016.09.009_br0220","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/8.1.5","article-title":"A module system for a programming language based on the LF logical framework","volume":"8","author":"Harper","year":"1998","journal-title":"J. Logic Comput."},{"key":"10.1016\/j.tcs.2016.09.009_br0230","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0168-0072(94)90009-4","article-title":"Structured theory presentations and logic representations","volume":"67","author":"Harper","year":"1994","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"10.1016\/j.tcs.2016.09.009_br0240","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1016\/S0304-3975(96)00163-6","article-title":"The definition of extended ML: a gentle introduction","volume":"173","author":"Kahrs","year":"1997","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.tcs.2016.09.009_br0250","series-title":"Categories for the Working Mathematician","author":"Mac Lane","year":"1998"},{"key":"10.1016\/j.tcs.2016.09.009_br0260","series-title":"Definition of Standard ML","author":"Milner","year":"1990"},{"key":"10.1016\/j.tcs.2016.09.009_br0270","series-title":"Recent Trends in Algebraic Development Techniques","article-title":"What is a derived signature morphism?","author":"Mossakowski","year":"2015"},{"key":"10.1016\/j.tcs.2016.09.009_br0280","series-title":"CASL Reference Manual","volume":"vol. 2960","year":"2004"},{"issue":"5","key":"10.1016\/j.tcs.2016.09.009_br0290","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1017\/S0960129501003474","article-title":"Axiomatisability in inclusive equational logic","volume":"12","author":"Grigore","year":"2002","journal-title":"Math. Structures Comput. Sci."},{"key":"10.1016\/j.tcs.2016.09.009_br0300","series-title":"Foundations of Algebraic Specifications and Formal Software Development","author":"Sannella","year":"2012"},{"key":"10.1016\/j.tcs.2016.09.009_br0310","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1016\/j.tcs.2013.11.008","article-title":"Parameterisation for abstract structured specifications","volume":"517","author":"\u0162u\u0163u","year":"2014","journal-title":"Theoret. Comput. Sci."}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397516304844?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397516304844?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,12,20]],"date-time":"2020-12-20T03:04:51Z","timestamp":1608433491000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397516304844"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":31,"alternative-id":["S0304397516304844"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2016.09.009","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2016,12]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Functorial semantics of first-order views","name":"articletitle","label":"Article Title"},{"value":"Theoretical Computer Science","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.tcs.2016.09.009","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2016 Elsevier B.V.","name":"copyright","label":"Copyright"}]}}