1. Lecture Notes in Computer Science;N. Benton,2002
2. Carboni, A., Lack, S., Walters, R.F.C.: Introduction to extensive and distributive categories. J. Pure Appl. Algebra 84, 145–158 (1993)
3. Fiore, M., Plotkin, G.D., Turi, D.: Abstract syntax and variable binding. In: Proc. LICS 1999, pp. 214–224. IEEE Press, Washington (1999)
4. Hyland, M., Levy, P.B., Plotkin, G.D., Power, A.J.: Combining continuations with other effects (submitted)
5. Hyland, M., Plotkin, G.D., Power, A.J.: Combining computational effects: commutativity and sum. In: Proc. IFIP Conf. On Theoretical Computer Science, pp. 474–484. Kluwer, Dordrecht (2002)