乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T05:18:38Z","timestamp":1733548718769,"version":"3.30.1"},"reference-count":16,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2002,5,1]],"date-time":"2002-05-01T00:00:00Z","timestamp":1020211200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4095,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2002,5]]},"DOI":"10.1016\/s0304-3975(01)00024-x","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T03:07:16Z","timestamp":1027652836000},"page":"137-162","source":"Crossref","is-referenced-by-count":46,"title":["Combining a monad and a comonad"],"prefix":"10.1016","volume":"280","author":[{"given":"John","family":"Power","sequence":"first","affiliation":[]},{"given":"Hiroshi","family":"Watanabe","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0304-3975(01)00024-X_BIB1","series-title":"Toposes, Triples and Theories","volume":"Vol. 278","author":"Barr","year":"1985"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB2","doi-asserted-by":"crossref","unstructured":"S. Brookes, S. Geva, Computational comonads and intensional semantics, Proc. Durham Conf. Categories in Computer Science 1991, 1993.","DOI":"10.21236\/ADA266522"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB3","doi-asserted-by":"crossref","unstructured":"M.P. Fiore, Axiomatic domain theory in categories of partial maps, Cambridge University Press Distinguished Dissertations in Computer Science, 1996.","DOI":"10.1017\/CBO9780511526565"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB4","first-page":"80","article-title":"An initial algebra approach to the specification, correctness and implementation of abstract data types","volume":"Vol. 4","author":"Goguen","year":"1978"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB5","first-page":"222","article-title":"A tutorial on (Co)algebras and (Co)induction","volume":"62","author":"Jacobs","year":"1997","journal-title":"EATCS Bull."},{"key":"10.1016\/S0304-3975(01)00024-X_BIB6","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1112\/blms\/7.3.294","article-title":"Adjoint lifting theorems for categories of algebras","volume":"7","author":"Johnstone","year":"1975","journal-title":"Bull. London Math. Soc."},{"key":"10.1016\/S0304-3975(01)00024-X_BIB7","unstructured":"P.T. Johnstone, A.J. Power, T. Tsujishita, H. Watanabe, J. Worrell, Proceedings, Lecture Notes in Computer Science, Vol. 98, IEEE Press, 1998, pp. 207\u2013213."},{"key":"10.1016\/S0304-3975(01)00024-X_BIB8","doi-asserted-by":"crossref","unstructured":"G.M. Kelly, R. Street, Review of the elements of 2-categories, Sydney Category Seminar, Lecture Notes in Mathematics, Vol. 420, Springer, Berlin, 1974, pp. 75\u2013103.","DOI":"10.1007\/BFb0063101"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB9","unstructured":"J. MacDonald, Liftings and Kleisli extensions, Foundational Methods in Computer Science \u201998 Lecture, 1998."},{"key":"10.1016\/S0304-3975(01)00024-X_BIB10","unstructured":"J. MacDonald, A. Stone, Foundational Methods in Computer Science \u201995 Lecture, 1995."},{"key":"10.1016\/S0304-3975(01)00024-X_BIB11","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","article-title":"Notions of computation and monads","volume":"93","author":"Moggi","year":"1991","journal-title":"Inform. and Comput."},{"key":"10.1016\/S0304-3975(01)00024-X_BIB12","doi-asserted-by":"crossref","unstructured":"P.S. Mulry, Lifting theorems for Kleisli categories, Proc. 9th Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science, Vol. 802, Springer, Berlin, 1994, pp. 304\u2013319.","DOI":"10.1007\/3-540-58027-1_15"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB13","series-title":"A coalgebraic foundation for linear time semantics","volume":"Vol. 24","author":"Power","year":"1999"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB14","series-title":"Proc. REX Workshop A Decade of Concurrency \u2013 Reflections and Perspectives","first-page":"530","article-title":"Initial algebra and final coalgebra semantics for concurrency","volume":"Vol. 803","author":"Rutten","year":"1994"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB15","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0022-4049(72)90019-9","article-title":"The formal theory of monads","volume":"2","author":"Street","year":"1972","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/S0304-3975(01)00024-X_BIB16","doi-asserted-by":"crossref","unstructured":"D. Turi, G. Plotkin, Towards a mathematical operational semantics, Proceedings, Lecture Notes in Computer Science, Vol. 97, IEEE Press, 1997, pp. 280\u2013291.","DOI":"10.1109\/LICS.1997.614955"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S030439750100024X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S030439750100024X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,6]],"date-time":"2024-12-06T19:20:16Z","timestamp":1733512816000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S030439750100024X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,5]]},"references-count":16,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2002,5]]}},"alternative-id":["S030439750100024X"],"URL":"https:\/\/doi.org\/10.1016\/s0304-3975(01)00024-x","relation":{},"ISSN":["0304-3975"],"issn-type":[{"type":"print","value":"0304-3975"}],"subject":[],"published":{"date-parts":[[2002,5]]}}}