Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Lecture Notes in Computer Science;S. Abramsky,1996
2. Abramsky, S., Vickers, S.: Quantales, observational logic and process semantics. Math. Struct. Comput. Sci. 3, 161–227 (1993)
3. Lecture Notes in Computer Science;P. Aczel,1989
4. Adamek, J.: Introduction to coalgebra. Theor. App. Categories 14(8), 157–199 (2005)
5. Bénabou, J.: Introduction to bicategories, part 1. In: Midwest Category Seminar. LNM, vol. 47, pp. 1–77. Springer (1967)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献