{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:36Z","timestamp":1725664716878},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_74","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:57:53Z","timestamp":1330279073000},"page":"424-433","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Functional sorts in data type specifications"],"prefix":"10.1007","author":[{"given":"Klaus-Dieter","family":"Schewe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"37_CR1","unstructured":"S. Abiteboul, M. Vardi, V. Vianu: Computing with Infinitary Logic, in J. Biskup, R. Hull (Eds.): Proc. 4th Int. Conf. on Database Theory, Springer LNCS 646, 1992, 113\u2013123"},{"key":"37_CR2","doi-asserted-by":"crossref","unstructured":"J. R. Abrial: A Formal Approach to Large Software Construction, in J. L. A. Van de Snepscheut (Ed.), Mathematics of Program Construction, Springer LNCS, vol. 375, 1989, 1\u201320","DOI":"10.1007\/3-540-51305-1_1"},{"issue":"4","key":"37_CR3","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R. M. Amadio","year":"1993","unstructured":"R. M. Amadio, L. Cardelli: Subtyping Recursive Types, ACM TOPLAS, vol. 15 (4), 1993, 575\u2013631","journal-title":"ACM TOPLAS"},{"issue":"2","key":"37_CR4","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/62070.45066","volume":"19","author":"M. P. Atkinson","year":"1987","unstructured":"M. P. Atkinson, P. Buneman: Types and Persistence in Database Programming Languages, ACM Comp. Surveys, vol. 19 (2), 1987, 105\u2013190","journal-title":"ACM Comp. Surveys"},{"key":"37_CR5","unstructured":"M. Barr, C. Wells: Category Theory for Computing Science, Prentice-Hall 1990"},{"key":"37_CR6","doi-asserted-by":"crossref","unstructured":"M. Barr, C. Wells: Toposes, Triples and Theories, Springer Grundlehren der mathematischen Wissenschaften 278, 1985","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"37_CR7","unstructured":"D. Bj\u00f8rner, C. B. Jones: Formal Specification and Software Development, Prentice Hall, 1982"},{"issue":"1","key":"37_CR8","doi-asserted-by":"crossref","first-page":"6","DOI":"10.2307\/2273251","volume":"46","author":"A. Boileau","year":"1981","unstructured":"A. Boileau, A. Joyal: La Logique des Topos, Journal of Symbolic Logic, vol. 46 (1), 1981, 6\u201316","journal-title":"Journal of Symbolic Logic"},{"key":"37_CR9","doi-asserted-by":"crossref","unstructured":"M. Broy: Equational Specification of Partial Higher Order Algebras, in M. Broy (Ed.): Logic of Programming and Calculi of Discrete Design, Springer, NATO ASI Series F, vol. 36, 1986, 185\u2013242","DOI":"10.1007\/978-3-642-87374-4_8"},{"key":"37_CR10","unstructured":"K. B. Bruce, A. R. Meyer: The Semantics of Second Order Polymorphic Lambda Calculus, in G. Kahn, D. B. MacQueen, G. Plotkin (Eds.): Semantics of Data Types, Springer LNCS 173, 1984, pp. 131\u2013144"},{"key":"37_CR11","doi-asserted-by":"crossref","unstructured":"P. Cousot: Methods and Logics for Proving Programs, in J. van Leeuwen (Ed.): The Handbook of Theoretical Computer Science, vol B: \u201cFormal Models and Semantics\u201d, Elsevier, 1990, 841\u2013993","DOI":"10.1016\/B978-0-444-88074-1.50020-2"},{"key":"37_CR12","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra, C. S. Scholten: Predicate Calculus and Program Semantics, Springer Texts and Monographs in Computer Science, 1989","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"37_CR13","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0304-3975(83)90098-1","volume":"27","author":"H.-D. Ehrich","year":"1983","unstructured":"H.-D. Ehrich, U. Lipeck: Algebraic Domain Equations, Theoretical Computer Science, vol. 27, 1983, 167\u2013196","journal-title":"Theoretical Computer Science"},{"key":"37_CR14","doi-asserted-by":"crossref","unstructured":"H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 1, Springer EATCS Monographs, vol. 6, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"37_CR15","doi-asserted-by":"crossref","unstructured":"M. P. Fourman: The Logic of Topoi, in J. Barwise (Ed.); Handbook of Mathematical Logic, North-Holland Studies in Logic, vol. 90, 1977, 1053\u20131090","DOI":"10.1016\/S0049-237X(08)71128-5"},{"key":"37_CR16","doi-asserted-by":"crossref","unstructured":"J. A. Goguen: Types as Theories, Oxford University, 1990","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"issue":"1","key":"37_CR17","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen, R. M. Burstall: Institutions: Abstract Model Theory for Specification and Programming, J.ACM, vol. 39 (1), 1992, 95\u2013146","journal-title":"J.ACM"},{"key":"37_CR18","unstructured":"R. Goldblatt: Topoi\u2014The Categorial Analysis of Logic, North-Holland, Studies in Logic, vol. 98, 1984"},{"key":"37_CR19","unstructured":"P. Johnstone: Topos Theory, Academic Press, 1977"},{"key":"37_CR20","unstructured":"A. Kock, G. Reyes: Doctrines in Categorial Logic, in J. Barwise (Ed.): Handbook of Mathematical Logic, North-Holland Studies in Logic, vol. 90, 1977, 283\u2013313"},{"key":"37_CR21","doi-asserted-by":"crossref","unstructured":"S. Mac Lane: Categories for the Working Mathematician, Springer GTM, vol. 5, 1972","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"37_CR22","unstructured":"S. Mac Lane, I. Moerdijk: Sheaves in Geometry and Logic \u2014 A first Introduction to Topos Theory, Springer Universitext, 1992"},{"key":"37_CR23","volume-title":"Contemporary Mathematics, vol. 104","author":"M. Makkai","year":"1989","unstructured":"M. Makkai, R. Par\u00e9: Accessible Categories: The Foundations of Categorial Model Theory, Contemporary Mathematics, vol. 104, AMS, Providence (Rhode Island), 1989"},{"key":"37_CR24","unstructured":"J. C. Mitchell: Type Systems for Programming Languages, in J. van Leeuwen (Ed.): The Handbook of Theoretical Computer Science, vol B: \u201cFormal Models and Semantics\u201d, Elsevier, 1990, 365\u201358"},{"issue":"4","key":"37_CR25","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1145\/69558.69559","volume":"11","author":"G. Nelson","year":"1989","unstructured":"G. Nelson: A Generalization of Dijkstra's Calculus, ACM TOPLAS, vol. 11 (4 1989, 517\u2013561","journal-title":"ACM TOPLAS"},{"key":"37_CR26","volume-title":"Information Modelling and Knowledge Bases V","author":"J. Palom\u00e4ki","year":"1994","unstructured":"J. Palom\u00e4ki: Towards a Foundation of Concept Theory, in H. Kangassalo, H. Jaakkola: Information Modelling and Knowledge Bases V, IOS Press, Amsterdam, 1994"},{"key":"37_CR27","unstructured":"J. C. Reynolds: Polymorphism is not Set-Theoretic, in G. Kahn, D. B. MacQueen, G. Plotkin (Eds.): Semantics of Data Types, Springer LNCS 173, 1984, 145\u2013156"},{"issue":"4","key":"37_CR28","first-page":"49","volume":"11","author":"K.-D. Schewe","year":"1993","unstructured":"K.-D. Schewe, B. Thalheim: Fundamental Concepts of Object Oriented Databases, Acta Cybernetica, vol. 11 (4), 1993, 49\u201385","journal-title":"Acta Cybernetica"},{"key":"37_CR29","unstructured":"K.-D. Schewe, J. W. Schmidt, I. Wetzel: Identification, Genericity and Consistency in Object-Oriented Databases, in J. Biskup, R. Hull (Eds.): Proc. 4th Int. Conf. on Database Theory, Springer LNCS 646, 1992, 341\u2013356"},{"key":"37_CR30","unstructured":"K.-D. Schewe: Specification of Data-Intensive Application Systems, Habilitationsschrift, TU Cottbus, 1994"},{"key":"37_CR31","unstructured":"J. M. Spivey: Understanding Z, A Specification Language and its Formal Semantics, Cambridge University Press, 1988"},{"key":"37_CR32","unstructured":"C. Tuijn, M. Gyssens: Views and Decompositions of Databases from a Categorial Perspective, in J. Biskup, R. Hull (Eds.): Proc. 4th Int. Conf. on Database Theory, Springer LNCS 646, 1992, 99\u2013112"},{"key":"37_CR33","doi-asserted-by":"crossref","unstructured":"W. Wechler: Universal Algebra for Computer Scientists, Springer EATCS Monographs, vol. 25, 1992","DOI":"10.1007\/978-3-642-76771-5"},{"key":"37_CR34","doi-asserted-by":"crossref","unstructured":"M. Wirsing: Algebraic Specification, in in J. van Leeuwen (Ed.): The Handbook of Theoretical Computer Science, vol B: \u201cFormal Models and Semantics\u201d, Elsevier, 1990, pp. 675\u2013788","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_74","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:47:22Z","timestamp":1713631642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_74"}},"subtitle":["A geometric approach to semantics"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_74","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}