A. J. Power and H. Thielecke, Closed F reyd- and #-categories, in Proc. 26th. ICALP (eds. J. Wiedermann and P. van Emde Boas and M. Nielsen), LNCS, Vol. 1644, pp. 625--634, Berlin: Springer-Verlag, 1999. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Adequacy for Algebraic Effects - Plotkin, Power Self-citation (Power) (Correct)
....considers denotational semantics and gives an adequacy theorem. The semantics is given axiomatically in terms of a suitable class of categorical structures appropriately extending the usual monadic view of the computational # calculus; this could as well have been based on closed Freyd categories [28] and [2] is a treatment of nondeterminism along such lines. Section 4 considers two examples: nondeterminism and probabilistic nondeterminism. We consider the full language with recursion in Section 5. Small step semantics is straightforward, but big step semantics presents some di#culties as ....
A. J. Power and H. Thielecke, Closed F reyd- and #-categories, in Proc. 26th. ICALP (eds. J. Wiedermann and P. van Emde Boas and M. Nielsen), LNCS, Vol. 1644, pp. 625--634, Berlin: Springer-Verlag, 1999.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC