{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,18]],"date-time":"2026-07-18T04:56:40Z","timestamp":1784350600982,"version":"3.55.0"},"reference-count":0,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[1997,10,1]],"date-time":"1997-10-01T00:00:00Z","timestamp":875664000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Struct. Comp. Sci."],"published-print":{"date-parts":[[1997,10]]},"abstract":"<jats:p>We introduce the notions of premonoidal category and premonoidal \nfunctor, and show how \nthese can be used in the denotational semantics of programming languages. \nWe characterize \nthe semantic definitions of Eugenio Moggi's monads as notions of \ncomputation, exhibit a \nrepresentation theorem for our premonoidal setting in terms of monads,\n and give a \nfibrational setting for the structure.<\/jats:p>","DOI":"10.1017\/s0960129597002375","type":"journal-article","created":{"date-parts":[[2002,7,27]],"date-time":"2002-07-27T13:29:40Z","timestamp":1027776580000},"page":"453-468","source":"Crossref","is-referenced-by-count":145,"title":["Premonoidal categories and notions of computation"],"prefix":"10.1017","volume":"7","author":[{"given":"JOHN","family":"POWER","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"EDMUND","family":"ROBINSON","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"56","published-online":{"date-parts":[[1997,10,1]]},"container-title":["Mathematical Structures in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0960129597002375","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T20:12:46Z","timestamp":1557605566000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0960129597002375\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,10]]},"references-count":0,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1997,10]]}},"alternative-id":["S0960129597002375"],"URL":"https:\/\/doi.org\/10.1017\/s0960129597002375","relation":{},"ISSN":["0960-1295","1469-8072"],"issn-type":[{"value":"0960-1295","type":"print"},{"value":"1469-8072","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,10]]}}}