Publisher
Springer International Publishing
Reference22 articles.
1. Awodey, S.: Category Theory. Oxford University Press, New York (2006)
2. Baumeister, H., Cerioli, M., Haxthausen, A., Mossakowski, T., Mosses, P.D., Sannella, D., Tarlecki, A.: Casl semantics. In: [Mos04] (2004)
3. Bergstra, J.A., Heering, J., Klint, P.: Module algebra. J. Assoc. Comput. Mach. 37(2), 335–372 (1990)
4. Lecture Notes in Computer Science,2004
5. Borzyszkowski, T.: Logical systems for structured specifications. Theor. Comput. Sci. 286(2), 197–245 (2002)