Identity and existence, and types in algebra | SpringerLink
Skip to main content
Springer Nature Link
Log in

Identity and existence, and types in algebra

A survey of sorts

  • Invited Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1992, COMPASS 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 785))

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.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. 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

    Google Scholar 

  2. K.Benecke, H.Reichel, Equational Partiality, Algebra Universalis 16, 1983

    Google Scholar 

  3. M.Broy, Partial Interpretation of Higher Order Algebraic Types, Int. Summer School, Marktoberdorf, 1986

    Google Scholar 

  4. P.Burmeister, A Model Theoretic Oriented Approach to Partial Algebras, Akademie Verlag, Berlin 1986

    Google Scholar 

  5. J.Cartmell, Generalised Algebraic Theories and Contextual Categories, PhD thesis, Oxford, Short version: Annals Pure Appl. Logic 32, 1986

    Google Scholar 

  6. M.Coste, Une Approche Logique des Théories Definissable par Limites Projectives Finies, Manuscript 1976

    Google Scholar 

  7. I.Claßen, M.Groß-Rhode, U.Wolter, Categorical Concepts for Parameterized Partial Specifications, Bericht-Nr. 92-42, TU Berlin, 1992

    Google Scholar 

  8. P.Freyd, Aspects of Topoi, Bull. Austral. Math. Soc. 7, 1972

    Google Scholar 

  9. M.Fourman, D.S.Scott, Sheaves and Logic, In: Applications of Sheaves, Proc. Durham, LNiMath 753, 1979

    Google Scholar 

  10. K.Futatsugi, J.A.Goguen, J.P.Jouannaud, J.Meseguer, Principles of OBJ2, CLSI Rep. No. 85-22, Stanford University, 1985

    Google Scholar 

  11. 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

    Google Scholar 

  12. J.A.Goguen, Abstract Errors for Abstract Data Types, IFIP Working Conf. on Formal description of Programming Concepts, MIT, 1977

    Google Scholar 

  13. J.A.Goguen, Order Sorted Algebras, UCLA Comp. Sci. Dept., Semantics and Theory of Comp. Rep. 14, 1978

    Google Scholar 

  14. 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

    Google Scholar 

  15. J.A.Goguen,R.,Diaconescu, A Survey of Order-Sorted Algebra, manuscript, 1992

    Google Scholar 

  16. G.Grätzer, Universal Algebra, Princeton 1978

    Google Scholar 

  17. J.M.E.Hyland, A.M.Pitts, The Theory of Constructions: Categorical Semantics and Topos-theoretic Models, Contemporary Math. 92, 1989

    Google Scholar 

  18. V.Manca, A.Salibra, G.Scollo, DELTA: A Deduction System Integrating Equational Logic and Type Assignment, Draft 1988

    Google Scholar 

  19. P.Mosses, Unified Algebras and Modules, In POPL'89, ACM, 1989

    Google Scholar 

  20. P.Martin-Löf, An Intuitionistic Theory of Types, Proc. Bristol Logic Coll. '73, North Holland 1973

    Google Scholar 

  21. 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

    Google Scholar 

  22. 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

    Google Scholar 

  23. A.Poigné, Error Handling for Parameterized Data Types, Proc. 3rd Workshop on Abstract Data Types, Bremen 1984, GI-Fachbericht 116, 1985

    Google Scholar 

  24. A.Poigné, Algebra Categorically (Tutorial), Workshop on Category and Computer Programming, Guildford 1985, LNCS240, 1986

    Google Scholar 

  25. A.Poigné, Partial Algebras, Subsorting and Dependent Types, Proc. ADT-Workshop, LNCS 332, 1988, full version: Arbeitsberichte der GMD, Nr. 446, 1990

    Google Scholar 

  26. A.Poigné, Typed Horn Logic, MFCS'90, LNCS 452, 1990, full version: Arbeitsberichte der GMD, Nr. 447, 1990

    Google Scholar 

  27. A.Poigné, Once more on Order-sorted Algebra, MFCS'91, LNCS 520, 1991, full version: Arbeitsberichte der GMD, Nr. 512 1991

    Google Scholar 

  28. A.Poigné, Basic Category Theory, in: Handbook of Logic in Computer Science, S.Abramsky, D.Gabbai, T.Maibaum (eds.), Oxford University Press, 1992

    Google Scholar 

  29. H.Reichel, Initial Computability, Algebraic Specifications, and Partial algebras, Oxford University press, 1987

    Google Scholar 

  30. D.S.Scott, Identity and Existence in Intutionistic Logic, In: Applications of Sheaves, Proc. Durham, LNiMath 753, 1979

    Google Scholar 

  31. G.Smolka, Order-Sorted Horn Logic Semantics and Deduction, SEKI-Rep. SR-86-17, Universität Kaiserslautern 1986

    Google Scholar 

  32. 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

    Google Scholar 

  33. G.Smolka, Logic Programming with Polymorphically Order-Sorted Types, In: J.Grabowski, P.Lescanne, W.Wechler, Algebraic and Logic Programming, Akademie Verlag, Berlin 1988

    Google Scholar 

  34. G.Smolka, Type Logic, Abstract 6th Workshop on Abstract Data Types, Berlin 1988

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. German National Research Centre of Computer Science (GMD), Schloß Birlinghoven, D-53757, Sankt Augustin, Germany

    Axel Poigné

Authors
  1. Axel Poigné
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hartmut Ehrig Fernando Orejas

Rights and permissions

Reprints 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

Publish with us

Policies and ethics