Publisher
Springer International Publishing
Reference40 articles.
1. Lecture Notes in Computer Science;S Abramsky,1996
2. Abramsky, S., Coecke, B.: A categorical semantics of quantum protocol. In: 2004 Proceedings on Logic in Computer Science, pp. 415–425. IEEE (2004)
3. Abramsky, S., Jung, A.: Domain theory. In: Handbook of Logic in Computer Science, No. 3, pp. 1–168. Clarendon Press (1994)
4. Adámek, J.: Recursive data types in algebraically
$$\omega $$
-complete categories. Inf. Comput. 118, 181–190 (1995)
5. Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J.: Functorial polymorphism. Theor. Comput. Sci. 70(1), 35–64 (1990)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献