Abstract
We survey partiality as found in algebra covering the various approaches which have surfaced and are being used in computer science, particularly in the data type community.
Partially supported by the ESPRIT WG COMPASS and by the Verbundprojekt KORSO, funded by the German Ministery of Research and Technology, grant No. ITS 900 1A7
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J.A.Goguen, J.W.Thatcher, E.G.Wagner, J.B.Wright, A Uniform Approach to Inductive Posets and Inductive Closure, Proc. MFCS'77, LNCS 53, 1977, and TCS 7, 1978
K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983
M.Broy, Partial Interpretation of Higher Order Algebraic Types, Int. Summer School, Marktoberdorf, 1986
P.Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, Akademie Verlag, Berlin 1986
J.Cartmell, Generalised Algebraic Theories and Contextual Categories, PhD thesis, Oxford, Short version: Annals Pure Appl. Logic 32, 1986
M.Coste, Une Approche Logique des Théories Definissable par Limites Projectives Finies, Manuscript 1976
I.Claßen, M.Groß-Rhode, U.Wolter, Categorical Concepts for Parameterized Partial Specifications, Bericht-Nr. 92-42, TU Berlin, 1992
P.Freyd, Aspects of Topoi, Bull. Austral. Math. Soc. 7, 1972
M.Fourman, D.S.Scott, Sheaves and Logic, In: Applications of Sheaves, Proc. Durham, LNiMath 753, 1979
K.Futatsugi, J.A.Goguen, J.P.Jouannaud, J.Meseguer, Principles of OBJ2, CLSI Rep. No. 85-22, Stanford University, 1985
M.Gogolla, Algebraic Specifications with Subsorts and Declarations, FB Nr. 169, Abt.Informatik, Universität Dortmund, 1983, also: Proceedings CAAP'84, Cambridge University Press, 1984
J.A.Goguen, Abstract Errors for Abstract Data Types, IFIP Working Conf. on Formal description of Programming Concepts, MIT, 1977
J.A.Goguen, Order Sorted Algebras, UCLA Comp. Sci. Dept., Semantics and Theory of Comp. Rep. 14, 1978
J.A.Goguen, J.Meseguer, Order-Sorted Algebra I: Equationaal Deduction for Multiple Inheritance, Overloading, Exceptions, and Partial Operations, Techn.Rep. SRI-CSL-89-10, SRI International, Computer Science Lab, 1989
J.A.Goguen,R.,Diaconescu, A Survey of Order-Sorted Algebra, manuscript, 1992
G.Grätzer, Universal Algebra, Princeton 1978
J.M.E.Hyland, A.M.Pitts, The Theory of Constructions: Categorical Semantics and Topos-theoretic Models, Contemporary Math. 92, 1989
V.Manca, A.Salibra, G.Scollo, DELTA: A Deduction System Integrating Equational Logic and Type Assignment, Draft 1988
P.Mosses, Unified Algebras and Modules, In POPL'89, ACM, 1989
P.Martin-Löf, An Intuitionistic Theory of Types, Proc. Bristol Logic Coll. '73, North Holland 1973
P.Martin-Löf, Constructive Mathematics and Computer Programming, in: L.J.Cohen et al (eds), Sixth International Congress for Logic Methodology and Philosophy of Science, North Holland, 1982
A.Poigné, Another Look at Parameterization Using Algebraic Specifications with Subsorts, Proc. MFCS, LNCS 176, 1984, long version: Parameterization for Order-Sorted Algebra, JCCS, Vol.40, 1990
A.Poigné, Error Handling for Parameterized Data Types, Proc. 3rd Workshop on Abstract Data Types, Bremen 1984, GI-Fachbericht 116, 1985
A.Poigné, Algebra Categorically (Tutorial), Workshop on Category and Computer Programming, Guildford 1985, LNCS240, 1986
A.Poigné, Partial Algebras, Subsorting and Dependent Types, Proc. ADT-Workshop, LNCS 332, 1988, full version: Arbeitsberichte der GMD, Nr. 446, 1990
A.Poigné, Typed Horn Logic, MFCS'90, LNCS 452, 1990, full version: Arbeitsberichte der GMD, Nr. 447, 1990
A.Poigné, Once more on Order-sorted Algebra, MFCS'91, LNCS 520, 1991, full version: Arbeitsberichte der GMD, Nr. 512 1991
A.Poigné, Basic Category Theory, in: Handbook of Logic in Computer Science, S.Abramsky, D.Gabbai, T.Maibaum (eds.), Oxford University Press, 1992
H.Reichel, Initial Computability, Algebraic Specifications, and Partial algebras, Oxford University press, 1987
D.S.Scott, Identity and Existence in Intutionistic Logic, In: Applications of Sheaves, Proc. Durham, LNiMath 753, 1979
G.Smolka, Order-Sorted Horn Logic Semantics and Deduction, SEKI-Rep. SR-86-17, Universität Kaiserslautern 1986
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
G.Smolka, Logic Programming with Polymorphically Order-Sorted Types, In: J.Grabowski, P.Lescanne, W.Wechler, Algebraic and Logic Programming, Akademie Verlag, Berlin 1988
G.Smolka, Type Logic, Abstract 6th Workshop on Abstract Data Types, Berlin 1988
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Poigné, A. (1994). Identity and existence, and types in algebra. In: Ehrig, H., Orejas, F. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1992 1992. Lecture Notes in Computer Science, vol 785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57867-6_3
Download citation
DOI: https://doi.org/10.1007/3-540-57867-6_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57867-3
Online ISBN: 978-3-540-48361-8
eBook Packages: Springer Book Archive