Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. S. Abramsky and A. Jung. Domain theory. In S. Abramski, Dov M. Gabbai, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume ?? Oxford Univ. Press, 199?. To appear.
2. number 86 in Lect. Notes Math.;M. Barr,1969
3. M. Barr. *-Autonomous categories and linear logic. Math. Struct. Comp. Sci., 1(2):159–178, 1991.
4. number 702 in Lect. Notes Comp. Sci.;N. Benton,1993
5. number 664 in Lect. Notes Comp. Sci.;N. Benton,1993
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Compositional Explanation of the ‘Pet Fish’ Phenomenon;Quantum Interaction;2016
2. Bases as Coalgebras;Algebra and Coalgebra in Computer Science;2011
3. Convexity, Duality and Effects;IFIP Advances in Information and Communication Technology;2010
4. Simulations in coalgebra;Theoretical Computer Science;2004-10