Show simple item record

dc.contributor.authorPlotkin, Gordon
dc.contributor.authorPower, John
dc.date.accessioned2003-11-03T11:11:46Z
dc.date.available2003-11-03T11:11:46Z
dc.date.issued2003
dc.identifier.citationAPPLIED CATEGORICAL STRUCTURES 11 (1): 69-94 FEB 2003en
dc.identifier.issn0927-2852
dc.identifier.urihttp://hdl.handle.net/1842/188
dc.description.abstractGiven a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form α_x : (Tx)n ! Tx provides a definitive semantics for algebraic operations added to the computational λ-calculus. We recall a definition for which we have elsewhere given adequacy results for both big and small step operational semantics, and we show that it is equivalent to a range of other possible natural definitions of algebraic operation. We outline examples and non-examples and we show that our definition is equivalent to one for call-by-name languages with effects too.en
dc.format.extent208511 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherKLUWER ACADEMIC PUBLen
dc.subjectLaboratory for Foundations of Computer Science
dc.titleSemantics for algebraic operationsen
dc.title.alternativeAlgebraic operations and generic effectsen
dc.typePreprinten


Files in this item

This item appears in the following Collection(s)

Show simple item record