Author:
Hasegawa Masahito,Hofmann Martin,Plotkin Gordon
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Bloom, S., Ésik, Z.: Iteration Theories, EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)
2. Lecture Notes in Computer Science;M. Hasegawa,1997
3. Hasegawa, M.: Models of Sharing Graphs: A Categorical Semantics of let and letrec. Distinguished Dissertation Series. Springer, Heidelberg (1999), also available as Ph.D. thesis ECS-LFCS-97-360, University of Edinburgh (1997)
4. Hyland, M., Power, A.J.: Symmetric monoidal sketches and categories of wirings. Electr. Notes Theor. Comput. Sci, vol. 100, pp. 31–46 (2004)
5. Joyal, A., Street, R.: Braided tensor categories. Adv. Math. 102, 20–78 (1993)
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献