Fixed-point operations on ccc's. Part I

Theoretical Computer Science

Volumn 155, Issue 1, 1996, Pages 1-38

  Bloom, Stephen L ^a   Ésik, Zoltán ^b  

^a Stevens Institute of Technology   (United States)

^b UNIVERSITY OF SZEGED   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; MATHEMATICAL MODELS;

CONWAY IDENTITIES; FIXED POINT OPERATIONS;

COMPUTER SCIENCE;

EID: 0030081340     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/0304-3975(95)00010-0     Document Type: Article

References (16)

1. A. Asperti and G. Longo, Categories, Types, and Structures, Foundations of Computing Series (MIT Press, Cambridge, MA, 1991).
2. E.S. Bainbridge, P.J. Freyd, A. Scedrov and P.J. Scott, Functorial polymorphism, Theoret. Comput. Sci. (1990) 35-64.
3. M. Barr and C. Wells, Toposes, Triples and Theories, A Series of Comprehensive Studies in Mathematics (Springer, Berlin, 1985).
4. S.L. Bloom and Z. Ésik, Iteration Theories: The Equational Logic of Iterative Processes, EATCS Monographs on Theoretical Computer Science (Springer, Berlin, 1993).
5. S.L. Bloom and Z. Ésik, Matrix and matricial iteration theories, Part I, J. Comput. System Sci. 46 (1993) 381-408.
6. S.L. Bloom and Z. Ésik, Some equational laws of initiality in 2ccc's, Internat. J. Foundations Comput. Sci., to appear.
7. C.C. Elgot, Monadic computation and iterative algebraic theories, in: J.C. Shepherdson, ed., Logic Colloquium 1973, Studies in Logic, Vol. 80 (North Holland, Amsterdam, 1975).
8. P. Freyd, Aspects of topoi, Bull. Austral. Math. Soc. (1972) 1-76.
9. C. Gunter, Semantics of Programming Languages (MIT Press, Cambridge, MA, 1993).
10. J. Lambek and P.J. Scott, Introduction to Higher Order Categorical logic, Cambridge studies in advanced mathematics (Cambridge University Press, Cambridge, 1986).
11. D. Lehmann and M.B. Smyth, Algebraic specification of data types: a synthetic approach, Math. Systems Theory 14 (1981) 97-139.
12. S. Mac Lane, Categories for the Working Mathematician, Graduate Texts in Mathematics (Springer, Berlin 1971).
13. P.S. Mulry, Categorical fixed point semantics, Theoret. Comput. Sci. 70 (1990) 85-97.
14. G.D. Plotkin, Domains, Lecture Notes, Department of Computer Science, University of Edinburgh, 1983.
15. A. Poigné, Basic category theory, in: S. Abramsky, Dov M. Gabby and T.S. Maibaum, eds., Handbook of Logic in Computer Science (Oxford Science Publications, Oxford, 1992) 413-635.
16. A.K. Simpson, A characterisation of the least fixed point operator by dinaturality, Theoret. Comput. Sci. 118 (1993) 301-314.