Recursion from cyclic sharing: Traced monoidal categories and models of cyclic lambda calculi-Reference-Cited by-同舟云学术

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

Published:1997 Issue: Volume: Page:196-213
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hasegawa Masahito

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-62688-3_37.pdf

Reference26 articles.

1. S. Abramsky, Retracing some paths in process algebra. In Proc. 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-TR-96-97, 1996. To appear in Journal of 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.

Cited by 45 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Combining fixpoint and differentiation theory;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. A Brief Survey on the Categorical Semantics for Geometry of Interaction In Memory of Phil Scott;ACM SIGLOG News;2024-04

3. Traced Monads and Hopf Monads;Compositionality;2023-10-30

4. Fixpoint operators for 2-categorical structures;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26

5. Span(Graph): a canonical feedback algebra of open transition systems;Software and Systems Modeling;2023-03-21