{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:36Z","timestamp":1725663396324},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190202"},{"type":"electronic","value":"9783540389200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19020-1_27","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:55:19Z","timestamp":1330199719000},"page":"490-527","source":"Crossref","is-referenced-by-count":3,"title":["The formal description of data types using sketches"],"prefix":"10.1007","author":[{"given":"Charles","family":"Wells","sequence":"first","affiliation":[]},{"given":"Michael","family":"Barr","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"27_CR1","first-page":"93","volume":"27","author":"M. Barr","year":"1986","unstructured":"M. Barr, Models of sketches, Cahiers de Topologie et G\u00e9ometrie Diff\u00e9rentielle, 27 (1986), 93\u2013107.","journal-title":"Cahiers de Topologie et G\u00e9ometrie Diff\u00e9rentielle"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"M. Barr and C. Wells. Toposes, Triples and Theories. Springer-Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"27_CR3","unstructured":"M. Barr and C. Wells. Category Theory for Computer Scientists, in preparation."},{"key":"27_CR4","first-page":"104","volume":"10","author":"A. Bastiani","year":"1968","unstructured":"A. Bastiani C. Ehresmann, Categories of sketched structures. Cahiers de Topologie et G\u00e9ometrie Diff\u00e9rentielle 10 (1968), 104\u2013213.","journal-title":"Cahiers de Topologie et G\u00e9ometrie Diff\u00e9rentielle"},{"key":"27_CR5","unstructured":"R. M. Burstall, Electronic category theory, in Mathematical Foundations of Computer Science. Springer Lecture Notes in Computer Science 88 (1980)."},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"N. Chomsky, M. P. Sch\u00fctzenberger, The algebraic theory of context-free languages, in P. Braffort, D. Hirschberg, eds. Computer Programming and Formal Systems, North-Holland, 1963.","DOI":"10.1016\/S0049-237X(08)72023-8"},{"key":"27_CR7","unstructured":"Y. Diers, Cat\u00e9gories Localizables. Th\u00e8se de doctorat, Universit\u00e9 de Paris, 1977."},{"key":"27_CR8","unstructured":"J. Donahue and A. Demers, Data types are values. To appear in ACM Transactions on Programming Languages and Systems."},{"key":"27_CR9","unstructured":"H. Ehrig, J. W. Thatcher, P. Lucas and S. N. Zilles, Denotational and initial algebra semantics of the algebraic specification language Look. Preprint: Technische Universit\u00e4t Berlin, 1982."},{"key":"27_CR10","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(83)90065-8","volume":"28","author":"H. Ehrig","year":"1984","unstructured":"H. Ehrig, H.-J. Kreowski, J. Thatcher, E. Wagner and J. Wright, Parameter passing in algebraic specification languages. Theoretical Computer Science 28 (1984), 45\u201381.","journal-title":"Theoretical Computer Science"},{"key":"27_CR11","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr, Fundamentals of algebraic specifications I. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"M. Fourman and S. Vickers, Theories as categories, in Category Theory and Computer Programming, Springer Lecture Notes in Computer Science 240, Springer-Verlag, 1986.","DOI":"10.1007\/3-540-17162-2_136"},{"key":"27_CR13","unstructured":"J. A. Goguen, Abstract errors for abstract data types, In E. J. Neuhold, ed. Formal Description of Programming Concepts, North-Holland, 1978."},{"key":"27_CR14","unstructured":"J. A. Goguen and J. Meseguer, Eqlog: equality, types and generic modules for logic programming. To appear in DeGroot and Lindstrom, eds., Functional and Logic Programming, Prentice-Hall, 1985a."},{"key":"27_CR15","volume-title":"Order sorted algebra I: partial and overloaded operators, errors and inheritance","author":"J. Goguen","year":"1985","unstructured":"J. Goguen and J. Meseguer, Order sorted algebra I: partial and overloaded operators, errors and inheritance. Preprint, SRI International, Menlo Park, CA 94025, 1985b."},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J. Goguen","year":"1977","unstructured":"J. Goguen, J. W. Thatcher, E. G. Wagner and J. B. Wright, Initial algebra semantics and continuous algebras. J. ACM, 24 (1977), 68\u201395.","journal-title":"J. ACM"},{"key":"27_CR17","unstructured":"J. Gray, Categorical aspects of parametric data types. Preprint: University of Illinois, 1985."},{"key":"27_CR18","first-page":"107","volume":"27","author":"R. Guitart","year":"1986","unstructured":"R. Guitart, On the geometry of computations. Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques, 27 (1986), 107\u2013136.","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9rentielle Cat\u00e9goriques"},{"key":"27_CR19","first-page":"1","volume":"4","author":"R. Guitart","year":"1980","unstructured":"R. Guitart and C. Lair, Calcul syntaxique des mod\u00e8les et calcul des formules internes. Diagrammes, 4 (1980), 1\u2013106.","journal-title":"Diagrammes"},{"key":"27_CR20","unstructured":"J. Lambek and P. Scott, Cartesian Closed Categories and \u03bb-Calculus. Cambridge Studies in Advanced Mathematics 7. Cambridge University Press, 1986."},{"key":"27_CR21","doi-asserted-by":"crossref","unstructured":"S. Mac Lane, Categories for the Working Mathematician. Graduate Texts in Mathematics 5, Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"27_CR22","series-title":"Technical Report","volume-title":"Why Horn formulas matter in computer science: initial structures and generic examples","author":"J. Makowsky","year":"1984","unstructured":"J. Makowsky, Why Horn formulas matter in computer science: initial structures and generic examples. Technical Report #329, Department of Computer Science, Technion, Haifa, Israel, 1984."},{"key":"27_CR23","unstructured":"P. Mateti and F. Hunt, Precision descriptions of software designs: an example. IEEE Compsac, 1985, 130\u2013136."},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0022-4049(86)90100-3","volume":"41","author":"C. McLarty","year":"1986","unstructured":"C. McLarty, Left exact logic. Journal of Pure and Applied Algebra, 41 (1986), 63\u201366.","journal-title":"Journal of Pure and Applied Algebra"},{"key":"27_CR25","unstructured":"J. Meseguer and J. Goguen, Initiality, induction and computability, in M. Nivat and J. C. Reynolds, eds., Algebraic Methods in Semantics, Cambridge University Press, 1985."},{"key":"27_CR26","unstructured":"D. E. Rydehead and R. M. Burstall, The unification of terms: a category-theoretic algorithm, in Category Theory and Computer Programming, Springer Lecture Notes in Computer Science 240. Springer-Verlag, 1986."},{"key":"27_CR27","unstructured":"J. W. Thatcher, E. G. Wagner and J. B. Wright, Specification of abstract data types using conditional axioms. (Extended abstract). IBM T. J. Watson Research Center Research Report RC 6214 (#26679), 1976."},{"key":"27_CR28","doi-asserted-by":"crossref","unstructured":"J. W. Thatcher, E. G. Wagner and J. B. Wright, Data type specification: parametrization and the power of specification techniques. ACM Transactions on Programming Languages and Systems, Vol. 4 no. 4, October, 1982.","DOI":"10.1145\/69622.357192"},{"key":"27_CR29","unstructured":"H. Volger, On theories which admit initial structures. Preprint: Universit\u00e4t T\u00fcbingen, 1985."},{"key":"27_CR30","unstructured":"E. Wagner, S. Bloom and J. W. Thatcher, Why algebraic theories? in M. Nivat and J. C. Reynolds, eds., Algebraic Methods in Semantics, Cambridge University Press, 1985."},{"key":"27_CR31","unstructured":"S. N. Zilles, P. Lucas and J. W. Thatcher, A look at algebraic specifications. IBM T. J. Watson Research Center Research Report RJ 3568 (#41985), 1982."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Language Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19020-1_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:19:00Z","timestamp":1619558340000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19020-1_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190202","9783540389200"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-19020-1_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}