Classifying categories for partial equational logic

Electronic Notes in Theoretical Computer Science

Volumn 69, Issue , 2003, Pages 305-322

  Schröder, Lutz ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; SEMANTICS; SYNTACTICS; THEOREM PROVING;

FINITE LIMITS; PARTIAL CARTESIAN CLOSED CATEGORIES; PARTIAL EQUATIONAL LOGIC; PARTIAL FUNCTIONS;

FUNCTIONS;

EID: 15744401515     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80571-1     Document Type: Conference Paper

References (30)

1. Adámek J., Herrlich H., Strecker G.E. "Abstract and Concrete Categories," 1990;Wiley Interscience
2. Astesiano E., Bidoit M., Kirchner H., Krieg-Brückner B., Mosses P.D., Sannella D., Tarlecki A. CASL: the Common Algebraic Specification Language. Theoret. Comput. Sci. 2003;. to appear
3. Broy M., C. Facchi, R. Grosu, R. Hettler, H. Hussmann, D. Nazareth, F. Regensburger and K. Stølen, The requirement and design specification language SPECTRUM, an informal introduction, version 1.0, Technical report, Department of Informatics, Technical University of Munich (1993).
4. Burmeister P. Partial algebras - survey of a unifying approach towards a two-valued model theory for partial algebras. Algebra Universalis. 15:1982;306-358
5. Burmeister P. Partial algebras - an introductory survey. Rosenberg I.G., Sabidussi G. Algebras and Orders, NATO ASI Series C. 1993;1-70 Kluwer
6. Burmeister P. On the equivalence of ECE- and generalized Kleene-equations for many-sorted partial algebras. Contrib. to General Algebra. 9:1995;91-106
7. Claßen I., Große-Rhode M., Wolter U. Categorical concepts for parameterized partial specifications. Math. Struct. Comput. Sci. 5:1995;153-188
8. Corradini A. and F. Gadducci, A functorial semantics for multi-algebras and partial algebras, with applications to syntax, Theoret. Comput. Sci., to appear.
9. Curien P.-L., ObtulŁowicz A. Partiality, Cartesian closedness and toposes. Information and Computation. 80:1989;50-95
10. Farmer W.M. A partial functions version of Church's simple theory of types. J. Symbolic Logic. 55:1990;1269-1291
11. Fiore M., Plotkin G. An axiomatization of computationally adequate domain theoretic models of FPC. Logic in Computer Science. 1994;92-102 IEEE Computer Society Press
12. George C., Haff P., Havelund K., Haxthausen A.E., Milne R., Nielson C.B., Prehn S., Wagner K.R. "The Raise Specification Language," 1992;Prentice Hall
13. Henkin L. The completeness of the first-order functional calculus. J. Symbolic Logic. 14:1949;159-166
14. Lambek J., Scott P.J. "Introduction to Higher Order Categorical Logic," 1986;Cambridge University Press
15. Lawvere F.W. Functorial semantics of algebraic theories. Proc. Natl. Acad. Sci. USA. 50:1963;869-872
16. Linton F., Some aspects of equational categories, in: Proc. Conf. Categor. Algebra, La Jolla, 1966, pp. 84-94.
17. Mac Lane S. "Categories for the Working Mathematician," 1997;Springer
18. Makkai M., Pitts A.M. Some results on locally finitely presentable categories. Trans. Amer. Math. Soc. 299:1987;473-496
19. p- calculus. Category Theory and Computer Programming, LNCS. 240:1986;242-251 Springer
20. Moggi E., "The Partial Lambda Calculus," Ph.D. thesis, University of Edinburgh (1988).
21. Poigné A. Algebra categorically. Category Theory and Computer Programming, LNCS. 240:1985;77-102
22. Robinson E., Rosolini G. Categories of partial maps. Inform. and Comput. 79:1988;95-130
23. Rosolini G., "Continuity and Effectiveness in Topoi," Ph.D. thesis, Merton College, Oxford (1986).
24. Schröder L., Classifying categories for partial higher order logic, in preparation.
25. Schröder L. and T. Mossakowski, HASCASL: Towards integrated specification and development of functional programs, in: Algebraic Methodology And Software Technology, LNCS (2002), to appear.
26. Schröder L., Mossakowski T., Tarlecki A. Amalgamation via enriched CASL signatures. utomata, Languages and Programming, LNCS. 2076:2001;993-1004
27. Scott D. Continuous lattices. Toposes, Algebraic Geometry and Logic, LNM. 274:1972;97-136
28. Scott D. Identity and existence in intuitionistic logic. Applications of Sheaves, LNM. 753:1979;660-696
29. Seely R.A.G. Locally cartesian closed categories and type theory. Math. Proc. Cambridge Philos. Soc. 95:1984;33-48
30. Seely R.A.G. Categorical semantics for higher order polymorphic lambda calclus. J. Symbolic Logic. 52:1987;969-989