{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,19]],"date-time":"2024-12-19T05:29:38Z","timestamp":1734586178068,"version":"3.30.2"},"reference-count":30,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2003,2,1]],"date-time":"2003-02-01T00:00:00Z","timestamp":1044057600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,29]],"date-time":"2013-07-29T00:00:00Z","timestamp":1375056000000},"content-version":"vor","delay-in-days":3831,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2003,2]]},"DOI":"10.1016\/s1571-0661(04)80571-1","type":"journal-article","created":{"date-parts":[[2004,9,29]],"date-time":"2004-09-29T16:47:47Z","timestamp":1096476467000},"page":"305-322","source":"Crossref","is-referenced-by-count":7,"special_numbering":"C","title":["Classifying categories for partial equational logic"],"prefix":"10.1016","volume":"69","author":[{"given":"Lutz","family":"Schr\u00f6der","sequence":"first","affiliation":[]}],"member":"78","reference":[{"year":"1990","series-title":"\u201cAbstract and Concrete Categories,\u201d","author":"Ad\u00e1mek","key":"10.1016\/S1571-0661(04)80571-1_NEWBIB1"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB2","article-title":"CASL: the Common Algebraic Specification Language","author":"Astesiano","year":"2003","journal-title":"Theoret. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB3","unstructured":"Broy M., C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger and K. St\u00f8len, The requirement and design specification language SPECTRUM, an informal introduction, version 1.0, Technical report, Department of Informatics, Technical University of Munich (1993)."},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB4","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/BF02483730","article-title":"Partial algebras \u2014 survey of a unifying approach towards a two-valued model theory for partial algebras","volume":"15","author":"Burmeister","year":"1982","journal-title":"Algebra Universalis"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB5","series-title":"Algebras and Orders, NATO ASI Series C","first-page":"1","article-title":"Partial algebras \u2014 an introductory survey","author":"Burmeister","year":"1993"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB6","first-page":"91","article-title":"On the equivalence of ECE- and generalized Kleene-equations for many-sorted partial algebras","volume":"9","author":"Burmeister","year":"1995","journal-title":"Contrib. to General Algebra"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB7","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1017\/S0960129500000700","article-title":"Categorical concepts for parameterized partial specifications","volume":"5","author":"Cla\u00dfen","year":"1995","journal-title":"Math. Struct. Comput. Sci"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB8","doi-asserted-by":"crossref","unstructured":"Corradini A. and F. Gadducci, A functorial semantics for multi-algebras and partial algebras, with applications to syntax, Theoret. Comput. Sci., to appear.","DOI":"10.1016\/S0304-3975(01)00319-X"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB9","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1016\/0890-5401(89)90023-0","article-title":"Partiality, Cartesian closedness and toposes","volume":"80","author":"Curien","year":"1989","journal-title":"Information and Computation"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB10","doi-asserted-by":"crossref","first-page":"1269","DOI":"10.2307\/2274487","article-title":"A partial functions version of Church's simple theory of types","volume":"55","author":"Farmer","year":"1990","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB11","series-title":"Logic in Computer Science","first-page":"92","article-title":"An axiomatization of computationally adequate domain theoretic models of FPC","author":"Fiore","year":"1994"},{"year":"1992","series-title":"\u201cThe Raise Specification Language,\u201d","author":"George","key":"10.1016\/S1571-0661(04)80571-1_NEWBIB12"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB13","doi-asserted-by":"crossref","first-page":"159","DOI":"10.2307\/2267044","article-title":"The completeness of the first-order functional calculus","volume":"14","author":"Henkin","year":"1949","journal-title":"J. Symbolic Logic"},{"year":"1986","series-title":"\u201cIntroduction to Higher Order Categorical Logic,\u201d","author":"Lambek","key":"10.1016\/S1571-0661(04)80571-1_NEWBIB14"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB15","doi-asserted-by":"crossref","first-page":"869","DOI":"10.1073\/pnas.50.5.869","article-title":"Functorial semantics of algebraic theories","volume":"50","author":"Lawvere","year":"1963","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB16","doi-asserted-by":"crossref","unstructured":"Linton F., Some aspects of equational categories, in: Proc. Conf. Categor. Algebra, La Jolla, 1966, pp. 84\u201394.","DOI":"10.1007\/978-3-642-99902-4_3"},{"year":"1997","series-title":"\u201cCategories for the Working Mathematician,\u201d","author":"Mac Lane","key":"10.1016\/S1571-0661(04)80571-1_NEWBIB17"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB18","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1090\/S0002-9947-1987-0869216-2","article-title":"Some results on locally finitely presentable categories","volume":"299","author":"Makkai","year":"1987","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB19","first-page":"242","article-title":"Categories of partial morphisms and the \u03bbp-calculus","volume":"240","author":"Moggi","year":"1986"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB20","unstructured":"Moggi E., \u201cThe Partial Lambda Calculus,\u201d Ph.D. thesis, University of Edinburgh (1988)."},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB21","first-page":"77","article-title":"Algebra categorically","volume":"240","author":"Poign\u00e9","year":"1985","journal-title":"Category Theory and Computer Programming, LNCS"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB22","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0890-5401(88)90034-X","article-title":"Categories of partial maps","volume":"79","author":"Robinson","year":"1988","journal-title":"Inform. and Comput"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB23","unstructured":"Rosolini G., \u201cContinuity and Effectiveness in Topoi,\u201d Ph.D. thesis, Merton College, Oxford (1986)."},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB24","unstructured":"Schr\u00f6der L., Classifying categories for partial higher order logic, in preparation."},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB25","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der L. and T. Mossakowski, HASCASL: Towards integrated specification and development of functional programs, in: Algebraic Methodology And Software Technology, LNCS (2002), to appear.","DOI":"10.1007\/3-540-45719-4_8"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB26","first-page":"993","article-title":"Amalgamation via enriched CASL signatures","volume":"2076","author":"Schr\u00f6der","year":"2001","journal-title":"utomata, Languages and Programming, LNCS"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB27","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/BFb0073967","article-title":"Continuous lattices","volume":"274","author":"Scott","year":"1972","journal-title":"Toposes, Algebraic Geometry and Logic, LNM"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB28","doi-asserted-by":"crossref","first-page":"660","DOI":"10.1007\/BFb0061839","article-title":"Identity and existence in intuitionistic logic","volume":"753","author":"Scott","year":"1979","journal-title":"Applications of Sheaves, LNM"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB29","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1017\/S0305004100061284","article-title":"Locally cartesian closed categories and type theory","volume":"95","author":"Seely","year":"1984","journal-title":"Math. Proc. Cambridge Philos. Soc"},{"key":"10.1016\/S1571-0661(04)80571-1_NEWBIB30","doi-asserted-by":"crossref","first-page":"969","DOI":"10.2307\/2273831","article-title":"Categorical semantics for higher order polymorphic lambda calclus","volume":"52","author":"Seely","year":"1987","journal-title":"J. Symbolic Logic"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805711?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104805711?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,18]],"date-time":"2024-12-18T20:04:50Z","timestamp":1734552290000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104805711"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,2]]},"references-count":30,"alternative-id":["S1571066104805711"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)80571-1","relation":{},"ISSN":["1571-0661"],"issn-type":[{"type":"print","value":"1571-0661"}],"subject":[],"published":{"date-parts":[[2003,2]]}}}