Benton, P.N. A mixed linear and non-linear logic: proofs, terms and models, Proc. Computer Science Logic 1995, Springer LNCS 933 and Univ. Cambridge Technical Report 352, 1994..
Gardner, P.A., A name-free account of action calculi, in Proc. MFPS '95, Electronic Notes in Comp. Sci. 1, Elsevier, 1995.
Hasegawa, M. Models of Sharing Graphs (A Categorical Semantics of Let and Letrec), Ph.D thesis, Univ. Edinburgh, LFCS report ECS-LFCS-97-360, 1997.
Hasegawa, M. Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi, in Proc. 3rd International Conference on Typed Lambda Calculi and Applications (TLCA'97), Springer LNCS 1210, pp. 196-213, 1997.
Joyal, A., Street, R.H. and Verity, D., Traced monoidal categories, in Math. Proc. Cambridge Philosophical Soc. 119(3), pp. 425-446, 1996.
Milner, R., A complete inference system for a class of regular behaviours, J. Comput. System Sci. 28, pp. 439-466, 1984.
Milner, R., Calculi for interaction, Acta Informatica 33(8), pp. 707-737, 1996.
de Paiva, V.C.V. and Ritter, E. On explicit substitutions and names, extended abstract in Proc. ICALP '97, Springer LNCS 1104, pp. 17-31, full version as Univ. Birmingham technical report CSRP-97-5, 1997.
Power, A.J. Premonoidal categories as categories with algebraic structure, to appear in Proc. MFPS '96.
Power, A.J. and Robinson, E.P. Premonoidal categories and notions of computation, to appear in Math. Struct. in Comput. Science, also available electronically.
Power, A.J. and Thielecke, H. Environments, continuation semantics and indexed categories, in Proc. TACS '97, Springer LNCS 1281, pp. 391-414, 1997.
Selinger, P. Control Categories: an Axiomatic Approach to the Semantics of Control in Functional Languages, Manuscript