Identity and Existence, and Types in Algebra - A Survey of Sorts

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.

[1]  Axel Poigné.  Once More on Order-Sorted Algebras , 1991, MFCS.

[2]  Gert Smolka,et al.  Logic Programming with Polymorphically Order-Sorted Types , 1988, ALP.

[3]  John Cartmell,et al.  Generalised algebraic theories and contextual categories , 1986, Ann. Pure Appl. Log..

[4]  J. Goguen,et al.  Order-Sorted Equational Computation , 1989 .

[5]  Axel Poigné,et al.  Basic category theory , 1993, LICS 1993.

[6]  Vincenzo Manca,et al.  DELTA: a deduction system integrating equational logic and type assignment , 1989 .

[7]  James W. Thatcher,et al.  A Uniform Approach to Inductive Posets and Inductive Closure , 1977, MFCS.

[8]  George Gratzer,et al.  Universal Algebra , 1979 .

[9]  José Meseguer,et al.  Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations , 1992, Theor. Comput. Sci..

[10]  Pierre Lescanne,et al.  Algebraic and Logic Programming , 1988, Lecture Notes in Computer Science.

[11]  José Meseguer,et al.  Principles of OBJ2 , 1985, POPL.

[12]  D. Scott,et al.  Sheaves and logic , 1979 .

[13]  Andrew M. Pitts,et al.  The theory of constructions: Categorical semantics and topos-theoretic models , 1987 .

[14]  P. Burmeister.  A Model Theoretic Oriented Approach to Partial Algebras , 1986 .

[15]  Peter D. Mosses,et al.  Unified algebras and modules , 1988, POPL '89.

[16]  P. Martin-Löf.  An Intuitionistic Theory of Types: Predicative Part , 1975 .

[17]  Joseph A. Goguen,et al.  Abstract Errors for Abstract Data Types , 1977, Formal Description of Programming Concepts.

[18]  Per Martin-Löf,et al.  Constructive mathematics and computer programming , 1984 .

[19]  Axel Poigné.  Typed Horn Logic , 1990, MFCS.

[20]  Axel Poigné.  Error Handling for Parameterized Data Types , 1984, ADT.

[21]  D. Scott.  Identity and existence in intuitionistic logic , 1979 .

[22]  Axel Poigné.  Algebra Categorically , 1985, CTCS.

[23]  D. Scott,et al.  Applications of sheaves , 1979 .

[24]  Axel Poigné.  Partial Algebras, Subsorting, and Dependent Types: Prerequisites of Error Handling in Algebraic Specifications , 1987, ADT.

[25]  Samson Abramsky,et al.  Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings , 1986, CTCS.

[26]  Peter Freyd.  Aspects of topoi: Corrigenda and acknowledgements , 1972, Bulletin of the Australian Mathematical Society.