On the Role of Category Theory in the Area of Algebraic Specification Export

@inproceedings{citeulike:1297178, address = {London, UK}, author = {Ehrig, Hartmut and Gro\&\#223;e-Rhode, Martin and Wolter, Uwe}, booktitle = {Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification}, citeulike-article-id = {1297178}, citeulike-linkout-0 = {http://portal.acm.org/citation.cfm?id=675839}, isbn = {3540616292}, keywords = {algebraicity, category-of-specifications, category-theory, classifying-categories, concurrency, configuration-space, formal-development, higher-dimensional-category-theory, indexed-categories, lattice-of-specifications, metascience, sketch-theory, specification, specification-lattice, specifications-lattice, topos-theory, unified-concept-theory}, pages = {17--48}, posted-at = {2007-05-15 14:30:26}, priority = {2}, publisher = {Springer-Verlag}, title = {On the Role of Category Theory in the Area of Algebraic Specification}, url = {http://portal.acm.org/citation.cfm?id=675839}, year = {1996} }

TY - CONF ID - citeulike:1297178 L3 - citeulike-article-id:1297178 SN - 3540616292 AD - London, UK EP - 48 TI - On the Role of Category Theory in the Area of Algebraic Specification PB - Springer-Verlag T2 - Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification SP - 17 KW - algebraicity KW - category-of-specifications KW - category-theory KW - classifying-categories KW - concurrency KW - configuration-space KW - formal-development KW - higher-dimensional-category-theory KW - indexed-categories KW - lattice-of-specifications KW - metascience KW - sketch-theory KW - specification KW - specification-lattice KW - specifications-lattice KW - topos-theory KW - unified-concept-theory AU - Ehrig, Hartmut AU - Gro\&\#223;e-Rhode, Martin AU - Wolter, Uwe PY - 1996/// UR - http://portal.acm.org/citation.cfm?id=675839 ER -