Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1210, Issue , 1997, Pages 196-213

  Hasegawa, Masahito ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; BIOMINERALIZATION; CALCULATIONS; DIFFERENTIATION (CALCULUS); SEMANTICS;

CATEGORICAL MODEL; CYCLIC GRAPH REWRITING; CYCLIC LAMBDA CALCULUS; LAMBDA-CALCULI; MONOIDAL CATEGORIES; RECURSIVE COMPUTATION; SEMANTIC FRAMEWORK; TRADITIONAL MODELS;

PATHOLOGY;

EID: 84958962360     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62688-3_37     Document Type: Conference Paper

References (26)

1. S. Abramsky, Retracing some paths in process algebra. In Proe. 7th Int. Conf. Concurrency Theory (CONCUR’96), Springer LNCS 1119, pages 1-17, 1996.
2. Z. Ariola and Arvind, Properties of a first-order functional language with sharing. Theoretical Computer Science 146, pages 69-108, 1995.
3. Z. Ariola and M. Felleisen, A call-by-need lambda calculus. Technical report CIS-TRo96-97, 1996. To appear in Journal o] Functional Programming.
4. Z. Ariola and J. Klop, Cyclic lambda graph rewriting. In Proc. 9th Symposium on Logic in Computer Sciece (LICS’94), pages 416-425, 1994.
5. S. L. Bloom and Z. Ésik, Iteration Theories. EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1993.
6. S. L. Bloom and Z. Ésik, Fixed point operators on ccc’s. Part I. Theoretical Computer Science 155, pages 1-38, 1996.
7. T. Braüner, The Girard translation extended with recursion. In Proc. Computer Science Logic 1994 (CSL’94), Springer LNCS 933, pages 31-45, 1995.
8. R. L. Crole and A. M. Pitts, New foundations for fixpoint computations: Fix hyperdoctrines and the fix logic. Information and Computation 98, pages 171-210, 1992.
9. P. Freyd, Algebraically complete categories. In Proc. 1990 Como Category Theory Conference, Springer LNM 1144, pages 95-104, 1991.
10. P. Gardner and M. Hasegawa, On higher-order action calculi and notions of computation. Draft, LFCS, University of Edinburgh, 1996.
11. J. -Y. Girard, Geometry of interaction I: interpretation of system F. In Logic Colloquium ‘88, pages 221-260, North-Holland, 1989.
12. A. Joyal and R. Street, The geometry of tensor calculus I. Advances in Mathematics 88, pages 55-113, 1991.
13. A. Joyal and R. Street, Braided tensor categories. Advances in Mathematics 102, pages 20-78, 1993.
14. A. Joyal, R. Street and D. Verity, Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society 119(3), pages 447-468, 1996.
15. M. Kelly and M. L. Laplaza, Coherence for compact closed categories. Journal of Pure and Applied Algebra 19, pages 193-213, 1980.
16. J. Launchbury, A natural semantics for lazy evaluation. In Proc. 21st ACM Syrup. Principles of Programming Languages (POPL ‘93), pages 144-154, 1993.
17. A. Mifsud, Control structures. PhD thesis, LFCS, University of Edinburgh, 1996.
18. R. Milner, Higher-order action calculi. In Proc. Computer Science Logic 199s (CSL’92), Springer LNCS 832, pages 238-260, 1994.
19. R. Milner, Action calculi V: reflexive molecular forms (with Appendix by O. Jensen). Third draft, July 1994.
20. R. Milner, Calculi for interaction. Acta Informatica 33(8), pages 707-737, 1996.
21. E. Moggi, Computational lambda-calculus and monads. Technical report ECSLFCS-88-66, LFCS, University of Edinburgh, 1988.
22. E. Moggi, Metalanguages and applications. Draft, 1995.
23. A. J. Power and E. P. Robinson, Premonoidal categories and notions of computation. 1996. To appear in Mathematical Structures in Computer Science.
24. N. Yu. Reshetikhin and V. G. Turaev, Ribbon graphs and their invariants derived from quantum groups. Communications in Mathematical Phisics 127, pages 1-26, 1990.
25. A. Simpson, Recursive types in Kleisli categories. Manuscript, LFCS, University of Edinburgh, 1992.
26. A. Simpson, A characterisation of the least-fixed-point operator by dinaturality. Theoretical Computer Science 118, pages 301-314, 1993.