{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T02:10:32Z","timestamp":1736129432669,"version":"3.32.0"},"publisher-location":"Berlin\/Heidelberg","reference-count":23,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540529535"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0029644","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:33:46Z","timestamp":1133415226000},"page":"470-477","source":"Crossref","is-referenced-by-count":0,"title":["Typed horn logic (extended abstract)"],"prefix":"10.1007","author":[{"given":"Axel","family":"Poign\u00e9","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"53_CR1","doi-asserted-by":"crossref","unstructured":"K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983","DOI":"10.1007\/BF01191770"},{"key":"53_CR2","doi-asserted-by":"crossref","DOI":"10.1515\/9783112720875","volume-title":"A Model Theoretic Oriented Approach to Partial Algebras, Part I","author":"P. Burmeister","year":"1986","unstructured":"P. Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, Part I, Akademie Verlag, Berlin, 1986"},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"J.Cartmell, Generalised algebraic Theories and Contextual Categories, PhD thesis, Oxford, Short version: Annals Pure Appl. Logic 32, 1986","DOI":"10.1016\/0168-0072(86)90053-9"},{"key":"53_CR4","unstructured":"Th.Coquand, Une Th\u00e9orie des Constructions, Th\u00e8se 3\u00e8me Cycle, Paris 1985"},{"key":"53_CR5","doi-asserted-by":"crossref","unstructured":"Th.Coquand, G.Huet, Constructions, A higher Order Proof System for Mechanizing Mathematics. In. B. Buchberger(ed.) EUROCAL '85 Proceedings, LNCS 203, 1985","DOI":"10.1007\/3-540-15983-5_13"},{"key":"53_CR6","unstructured":"M.Coste, Une Approche Logique des Th\u00e9ories Definissable par Limites Projectives Finies, Manuscript 1976"},{"key":"53_CR7","unstructured":"Sheaves and Logic, In: Applications of Sheaves, Proc. Durham, LNiMath 753, 1979"},{"key":"53_CR8","doi-asserted-by":"crossref","unstructured":"P.Freyd, Aspects of Topoi, Bull. Austral. Math. Soc. 7, 1972","DOI":"10.1017\/S0004972700044828"},{"key":"53_CR9","doi-asserted-by":"crossref","unstructured":"P.Gabriel, F.Ulmer, Lokal pr\u00e4sentierbare Kategorien, LNiMath 221, 1971","DOI":"10.1007\/BFb0059396"},{"key":"53_CR10","unstructured":"M.Gogolla, Algebraic Specifications with Subsorts and Declarations, FB Nr. 169, Abt.Informatik, Universit\u00e4t Dortmund, 1983, also: Proceedings CAAP'84, Cambridge University Press, 1984"},{"key":"53_CR11","unstructured":"J.A.Goguen, Order Sorted Algebras, UCLA Comp. Sci. Dept., Semantics and Theory of Comp. Rep. 14, 1978"},{"key":"53_CR12","unstructured":"J.A.Goguen, J.Meseguer, Order-Sorted Algebra: Partial and Overloaded Operations, Errors and Inheritance, SRI International, Computer Science Lab, to appear"},{"key":"53_CR13","doi-asserted-by":"crossref","unstructured":"R.Harper, F.Honsell, G.Plotkin, A Framework for Defining Logics, Proc. LICS87","DOI":"10.1145\/138027.138060"},{"key":"53_CR14","doi-asserted-by":"crossref","unstructured":"M.Makkei, G.E.Reyes, First Order Categorical Logic, LNi.Math 611, Springer 1977","DOI":"10.1007\/BFb0066201"},{"key":"53_CR15","unstructured":"V.Manca, A.Salibra, G.Scollo, DELTA: A Deduction System Integrating Equational Logic and Type Assignment, Draft 1988"},{"key":"53_CR16","doi-asserted-by":"crossref","unstructured":"P.Mosses, Unified Algebras and modules, In POPL'89, ACM, 1989","DOI":"10.1145\/75277.75306"},{"key":"53_CR17","unstructured":"A.Poign\u00e9, Another Look at Parameterization Using Algebraic Specifications with Subsorts, Proc. MFCS, LNCS 176, 1984"},{"key":"53_CR18","unstructured":"A.Poign\u00e9, On relating Partiality and Subsorting, Manuscript 1986"},{"key":"53_CR19","doi-asserted-by":"crossref","unstructured":"A.Poign\u00e9, Partial Algebras, Subsorting, and Dependent Types, Proc. 6th Workshop on Abstract Data Types, Gullane 1987, LNCS 332, 1988, Full Version 1989 (Submitted)","DOI":"10.1007\/3-540-50325-0_11"},{"key":"53_CR20","doi-asserted-by":"crossref","unstructured":"D.S.Scott, Identity and Existence in Intutionistic Logic, In: Applications of Sheaves, Proc. Durham, LNiMath 753, 1979","DOI":"10.1007\/BFb0061839"},{"key":"53_CR21","unstructured":"G.Smolka, Order-Sorted Horn Logic Semantics and Deduction, SEKI-Rep. SR-86-17, Universit\u00e4t Kaiserslautern 1986"},{"key":"53_CR22","doi-asserted-by":"crossref","unstructured":"G.Smolka, W.Nutt, J.A.Goguen, J.Meseguer, Order-Sorted Equational Computation, To appear in: H.Ait-Kaci, M.Nivat (eds.) Resolution of Equations in Algebraic Structures, Academic Press 1988","DOI":"10.1016\/B978-0-12-046371-8.50016-X"},{"key":"53_CR23","volume-title":"Algebraic and Logic Programming","author":"G. Smolka","year":"1988","unstructured":"G. Smolka, Logic Programming with Polymorphically Order-Sorted Types, In: J. Grabowski, P. Lescanne, W. Wechler, Algebraic and Logic Programming, Akademie Verlag, Berlin 1988"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1990"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0029644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T01:34:16Z","timestamp":1736127256000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0029644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540529535"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/bfb0029644","relation":{},"subject":[]}}