Using Limits of Parchment to Systematically Construct Institutions of partial Algebras

[1]  Michel Bidoit,et al.  Algebraic System Specification and Development: A Survey and Annotated Bibliography , 1991 .

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

[3]  Till Mossakowski,et al.  Equivalences among Various Logical Frameworks of Partial Algebras , 1995, CSL.

[4]  Egidio Astesiano,et al.  Non-strict don't care algebras and specifications , 1991, Mathematical Structures in Computer Science.

[5]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[6]  Joseph A. Goguen,et al.  Some Fundamental Algebraic Tools for the Semantics of Computation: Part 3: Indexed Categories , 1991, Theor. Comput. Sci..

[7]  Joseph A. Goguen,et al.  Putting Theories Together to Make Specifications , 1977, IJCAI.

[8]  J. Adámek,et al.  Locally Presentable and Accessible Categories: Bibliography , 1994 .

[9]  Andrzej Tarlecki,et al.  On the Existence of Free Models in Abstract Algebraic Institutuons , 1985, Theor. Comput. Sci..

[10]  Hans-Jörg Kreowski,et al.  Algebraic system specification and development , 1991, Lecture Notes in Computer Science.

[11]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

[12]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[13]  Egidio Astesiano,et al.  Non-Strict Don't Care Algebras and Specifications , 1996, Math. Struct. Comput. Sci..

[14]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[15]  Joseph A. Goguen,et al.  A Study in the Functions of Programming Methodology: Specifications, Institutions, Charters and Parchments , 1985, CTCS.

[16]  Andrzej Tarlecki,et al.  Bits and Pieces of the Theory of Institutions , 1985, ADT.

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