{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:50:34Z","timestamp":1725562234397},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540212980"},{"type":"electronic","value":"9783540247272"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24727-2_31","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T15:06:41Z","timestamp":1280761601000},"page":"438-452","source":"Crossref","is-referenced-by-count":3,"title":["Canonical Models for Computational Effects"],"prefix":"10.1007","author":[{"given":"John","family":"Power","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"31_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/3-540-45699-6_2","volume-title":"Applied Semantics","author":"N. Benton","year":"2002","unstructured":"Benton, N., Hughes, J., Moggi, E.: Monads and effects. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol.\u00a02395, pp. 42\u2013122. Springer, Heidelberg (2002)"},{"key":"31_CR2","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-4049(93)90035-R","volume":"84","author":"A. Carboni","year":"1993","unstructured":"Carboni, A., Lack, S., Walters, R.F.C.: Introduction to extensive and distributive categories. J. Pure Appl. Algebra\u00a084, 145\u2013158 (1993)","journal-title":"J. Pure Appl. Algebra"},{"key":"31_CR3","first-page":"214","volume-title":"Proc. LICS 1999","author":"M. Fiore","year":"1999","unstructured":"Fiore, M., Plotkin, G.D., Turi, D.: Abstract syntax and variable binding. In: Proc. LICS 1999, pp. 214\u2013224. IEEE Press, Washington (1999)"},{"key":"31_CR4","unstructured":"Hyland, M., Levy, P.B., Plotkin, G.D., Power, A.J.: Combining continuations with other effects (submitted)"},{"key":"31_CR5","first-page":"474","volume-title":"Proc. IFIP Conf. On Theoretical Computer Science","author":"M. Hyland","year":"2002","unstructured":"Hyland, M., Plotkin, G.D., Power, A.J.: Combining computational effects: commutativity and sum. In: Proc. IFIP Conf. On Theoretical Computer Science, pp. 474\u2013484. Kluwer, Dordrecht (2002)"},{"key":"31_CR6","unstructured":"Hyland, M., Plotkin, G.D., Power, A.J.: Combining computational effects: sum and tensor (submitted)"},{"key":"31_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1007\/3-540-48168-0_39","volume-title":"Computer Science Logic","author":"Y. Kinoshita","year":"1999","unstructured":"Kinoshita, Y., Power, A.J.: Data Refinement in Call-by-Value Languages. In: Flum, J., Rodr\u00edguez-Artalejo, M. (eds.) CSL 1999. LNCS, vol.\u00a01683, pp. 562\u2013576. Springer, Heidelberg (1999)"},{"key":"31_CR8","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1016\/S0890-5401(03)00088-9","volume":"185","author":"P.B. Levy","year":"2003","unstructured":"Levy, P.B., Power, A.J., Thielecke, H.: Modelling environments in call-by-value programming languages. Information and Computation\u00a0185, 182\u2013210 (2003)","journal-title":"Information and Computation"},{"key":"31_CR9","volume-title":"Sheaves in Geometry and Logic","author":"S. Mac Lane","year":"1992","unstructured":"Mac Lane, S., Moerdijk, I.: Sheaves in Geometry and Logic. Springer, Berlin (1992)"},{"key":"31_CR10","first-page":"14","volume-title":"Proc. LICS 1989","author":"E. Moggi","year":"1989","unstructured":"Moggi, E.: Computational lambda-calculus and monads. In: Proc. LICS 1989, pp. 14\u201323. IEEE Press, Washington (1989)"},{"issue":"1","key":"31_CR11","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Inf. and Comp.\u00a093(1), 55\u201392 (1991)","journal-title":"Inf. and Comp."},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Moggi, E.: A Semantics for Evaluation Logic. Fundamenta Informaticae\u00a022 (1995)","DOI":"10.3233\/FI-1995-22126"},{"key":"31_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45315-6_1","volume-title":"Foundations of Software Science and Computation Structures","author":"G.D. Plotkin","year":"2001","unstructured":"Plotkin, G.D., Power, A.J.: Adequacy for Algebraic Effects. In: Honsell, F., Miculan, M. (eds.) FOSSACS 2001. LNCS, vol.\u00a02030, pp. 1\u201324. Springer, Heidelberg (2001)"},{"key":"31_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/3-540-45931-6_24","volume-title":"Foundations of Software Science and Computation Structures","author":"G.D. Plotkin","year":"2002","unstructured":"Plotkin, G.D., Power, A.J.: Notions of Computation Determine Monads. In: Nielsen, M., Engberg, U. (eds.) FOSSACS 2002. LNCS, vol.\u00a02303, pp. 342\u2013356. Springer, Heidelberg (2002)"},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Power, A.J.: Algebraic Operations and Generic Effects. In: Proc. MFCSIT 2000, Applied Categorical Structures, vol.\u00a011(1), pp. 69\u201394 (2003)","DOI":"10.1023\/A:1023064908962"},{"key":"31_CR16","unstructured":"Plotkin, G.D., Power, A.J.: Computational Effects and Operations: an Overview. In: Proc. Domains 2002. ENTCS, vol.\u00a073 (2002)"},{"key":"31_CR17","doi-asserted-by":"crossref","unstructured":"Plotkin, G.D., Power, A.J.: Logic for Computational Effects. In: Proc. International Workshop on Formal Methods 2003 (to appear)","DOI":"10.14236\/ewic\/IWFM2003.3"},{"key":"31_CR18","doi-asserted-by":"crossref","unstructured":"Power, A.J.: Models of the Computational \u03bb-calculus. In: Proc. MFCSIT 2000. ENTCS, vol.\u00a040 (2001)","DOI":"10.1016\/S1571-0661(05)80056-8"},{"key":"31_CR19","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/S0304-3975(00)00340-6","volume":"278","author":"A.J. Power","year":"2002","unstructured":"Power, A.J.: Premonoidal categories as categories with algebraic structure. Theoretical Computer Science\u00a0278, 303\u2013321 (2002)","journal-title":"Theoretical Computer Science"},{"key":"31_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/3-540-44904-3_21","volume-title":"Typed Lambda Calculi and Applications","author":"A.J. Power","year":"2003","unstructured":"Power, A.J.: A Universal Embedding for the Higher Order Structure of Computational Effects. In: Hofmann, M.O. (ed.) TLCA 2003. LNCS, vol.\u00a02701, pp. 301\u2013315. Springer, Heidelberg (2003)"},{"key":"31_CR21","doi-asserted-by":"crossref","unstructured":"Power, A. J., Robinson, E.P.: Premonoidal categories and notions of computation. In: Proc. LDPL 1996. Math Structures in Computer Science, vol.\u00a07, pp. 453\u2013468 (1997)","DOI":"10.1017\/S0960129597002375"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24727-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,9]],"date-time":"2020-06-09T21:46:33Z","timestamp":1591739193000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24727-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540212980","9783540247272"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24727-2_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}