In
*Proc. 9th
International Conference on Category Theory and Computer Science
(CTCS'02)*,
Electronic Notes in Theoretical Computer Science 69 (2003)

- M. Hasegawa,
**Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi**. In*Proc. Typed Lambda Calculi and Applications*, Springer LNCS 1210 (1997) pp.196-213. - M. Hasegawa,
**Models of Sharing Graphs (A Categorical Semantics of Let and Letrec)**. PhD thesis ECS-LFCS-97-360, University of Edinburgh (1997) / Distinguished Dissertations Series, Springer-Verlag (1999). - A. Joyal, R. Street and D. Verity,
**Traced monoidal categories**.*Mathematical Proceedings of the Cambridge Philosophical Society*119(3) (1996) 447-468. -
P. Selinger,
**Categorical structure of asynchrony**. In*Proc. MFPS 15*, ENTCS 20 (1999).

Back to Hassei's Research Page / Home Page