Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 196-213
- https://doi.org/10.1007/3-540-62688-3_37
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- Premonoidal categories and notions of computationMathematical Structures in Computer Science, 1997
- Types and models for higher-order action calculiPublished by Springer Nature ,1997
- Traced monoidal categoriesMathematical Proceedings of the Cambridge Philosophical Society, 1996
- Fixed-point operations on ccc's. Part ITheoretical Computer Science, 1996
- Properties of a first-order functional language with sharingTheoretical Computer Science, 1995
- Braided Tensor CategoriesAdvances in Mathematics, 1993
- A characterisation of the least-fixed-point operator by dinaturalityTheoretical Computer Science, 1993
- The geometry of tensor calculus, IAdvances in Mathematics, 1991
- Ribbon graphs and their invaraints derived from quantum groupsCommunications in Mathematical Physics, 1990
- Coherence for compact closed categoriesJournal of Pure and Applied Algebra, 1980