Author:
Charalambidis Angelos,Rondogiannis Panos
Publisher
Springer Nature Switzerland
Reference33 articles.
1. Abramsky, S., Jung, A.: Domain Theory, pp. 1–168. Oxford University Press Inc. (1995)
2. Adámek, J.: Recursive data types in algebraically omega-complete categories. Inf. Comput. 118(2), 181–190 (1995). https://doi.org/10.1006/inco.1995.1061
3. Adámek, J., Herrlich, H., Strecker, G.E.: Abstract and Concrete Categories - The Joy of Cats. Dover Publications (2009)
4. Adámek, J., Koubek, V.: Least fixed point of a functor. J. Comput. Syst. Sci. 19(2), 163–178 (1979). https://doi.org/10.1016/0022-0000(79)90026-6
5. Adámek, J., Milius, S., Moss, L.S.: Fixed points of functors. J. Log. Algebraic Methods Program. 95, 41–81 (2018). https://doi.org/10.1016/j.jlamp.2017.11.003