{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T02:28:14Z","timestamp":1784255294035,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540433668","type":"print"},{"value":"9783540459316","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45931-6_24","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T00:53:52Z","timestamp":1181350432000},"page":"342-356","source":"Crossref","is-referenced-by-count":126,"title":["Notions of Computation Determine Monads"],"prefix":"10.1007","author":[{"given":"Gordon","family":"Plotkin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Power","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2002,3,15]]},"reference":[{"issue":"1","key":"24_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0304-3975(96)00232-0","volume":"177","author":"S. O. Anderson","year":"1997","unstructured":"S. O. Anderson and A. J. Power, A Representable Approach to Finite Nondeterminism, in Theoret. Comput. Sci., Vol. 177, No. 1, pp. 3\u201325, 1997.","journal-title":"Theoret. Comput. Sci."},{"key":"24_CR2","unstructured":"N. Benton, J. Hughes, and E. Moggi, Monads and Effects, APPSEM\u2019 00 Summer School, 2000."},{"key":"24_CR3","first-page":"43","volume-title":"Proc. LICS\u2019 96","author":"M. P. Fiore","year":"1996","unstructured":"M. P. Fiore, E. Moggi, and D. Sangiorgi, A Fully-Abstract Model for the pi-Calculus, in Proc. LICS\u2019 96, pp. 43\u201354, Washington: IEEE Press, 1996."},{"key":"24_CR4","series-title":"Lect Notes Comput Sci","first-page":"21","volume-title":"Proc. CAAP\u2019 94","author":"R. Heckmann","year":"1994","unstructured":"R. Heckmann, Probabilistic Domains, in Proc. CAAP\u2019 94, LNCS, Vol. 136, pp. 21\u201356, Berlin: Springer-Verlag, 1994."},{"key":"24_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/3-540-09526-8_8","volume-title":"Proc. MFCS\u2019 79","author":"M. C. B. Hennessy","year":"1979","unstructured":"M. C. B. Hennessy and G. D. Plotkin, Full Abstraction for a Simple Parallel Programming Language, in Proc. MFCS\u2019 79 (ed. J. Be\u0109v\u00e1r), LNCS, Vol. 74, pp. 108\u2013120, Berlin: Springer-Verlag, 1979."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"J. M. E. Hyland, G. D. Plotkin, and A. J. Power, Combining Computataional Effects: Commutativity and Sum, submitted, 2002.","DOI":"10.1007\/978-0-387-35608-2_39"},{"key":"24_CR7","unstructured":"C. Jones, Probabilistic Non-Determinism, Ph.D. Thesis, University of Edinburgh, Report ECS-LFCS-90-105, 1990."},{"key":"24_CR8","first-page":"186","volume-title":"Proc. LICS\u2019 89","author":"C. Jones","year":"1989","unstructured":"C. Jones and G. D. Plotkin, A Probabilistic Powerdomain of Evaluations, in Proc. LICS\u2019 89, pp. 186\u2013195, Washington: IEEE Press, 1989."},{"key":"24_CR9","volume-title":"Basic Concepts of Enriched Category Theory","author":"G. M. Kelly","year":"1982","unstructured":"G. M. Kelly, Basic Concepts of Enriched Category Theory, Cambridge: Cambridge University Press, 1982."},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1016\/0022-4049(93)90092-8","volume":"89","author":"G. M. Kelly","year":"1993","unstructured":"G. M. Kelly and A. J. Power, Adjunctions whose Counits are Coequalizers, and Presentations of Finitary Enriched Monads, in J. Pure Appl. Algebra, Vol. 89, pp. 163\u2013179, 1993.","journal-title":"J. Pure Appl. Algebra"},{"key":"24_CR11","unstructured":"P. B. Levy, Call-by-Push-Value: A Subsuming Paradigm, Ph.D. thesis, Queen Mary College, 2001."},{"key":"24_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-48959-2_17","volume-title":"Proc. TLCA\u2019 99","author":"P. B. Levy","year":"1999","unstructured":"P. B. Levy, Call-by-Push-Value, in Proc. TLCA\u2019 99 (ed. J.-Y. Girard), LNCS, Vol. 1581, pp. 228\u2013242, Berlin: Springer-Verlag, 1999."},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"24_CR14","first-page":"14","volume-title":"Proc. LICS\u2019 89","author":"E. Moggi","year":"1989","unstructured":"E. Moggi, Computational Lambda-Calculus and Monads, in Proc. LICS\u2019 89, pp. 14\u201323, Washington: IEEE Press, 1989."},{"key":"24_CR15","unstructured":"E. Moggi, An Abstract View of Programming Languages, University of Edinburgh, Report ECS-LFCS-90-113, 1989."},{"issue":"1","key":"24_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"E. Moggi, Notions of computation and monads, Inf. and Comp., Vol. 93, No. 1, pp. 55\u201392, 1991.","journal-title":"Inf. and Comp."},{"key":"24_CR17","volume-title":"Progress in Theoretical Computer Science","author":"P. W. O\u2019Hearn","year":"1997","unstructured":"P. W. O\u2019Hearn and R. D. Tennent, Algol-like Languages, Progress in Theoretical Computer Science, Boston: Birkhauser, 1997."},{"key":"24_CR18","unstructured":"G. D. Plotkin, Domains, URL: http:\/\/www.dcs.ed.ac.uk\/home\/gdp , 1983."},{"key":"24_CR19","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. FOSSACS 2001","author":"G. D. Plotkin","year":"2001","unstructured":"G. D. Plotkin and A. J. Power, Adequacy for Algebraic Effects, in Proc. FOSSACS 2001 (eds. F. Honsell and M. Miculan), LNCS, Vol. 2030, pp. 1\u201324, Berlin: Springer-Verlag, 2001."},{"key":"24_CR20","series-title":"ENTCS","volume-title":"Proc. MFPS XVII","author":"G. D. Plotkin","year":"2001","unstructured":"G. D. Plotkin and A. J. Power, Semantics for Algebraic Operations (extended abstract), in Proc. MFPS XVII (eds. S. Brookes and M. Mislove), ENTCS, Vol. 45, Amsterdam: Elsevier, 2001."},{"key":"24_CR21","unstructured":"A. J. Power, Enriched Lawvere Theories, in Theory and Applications of Categories, pp. 83\u201393, 2000."},{"key":"24_CR22","unstructured":"I. Stark, Names and Higher-Order Functions, Ph.D. thesis, University of Cambridge, 1994."},{"issue":"1","key":"24_CR23","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF01806033","volume":"9","author":"I. Stark","year":"1996","unstructured":"I. Stark, Categorical Models for Local Names, in Lisp and Symbolic Computation, Vol. 9, No. 1, pp. 77\u2013107, 1996. and","journal-title":"Lisp and Symbolic Computation"}],"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\/3-540-45931-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T19:19:34Z","timestamp":1556479174000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45931-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540433668","9783540459316"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-45931-6_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}