×

Fixed-point constructions in order-enriched categories. (English) Zbl 0401.18005


MSC:

18D99 Categorical structures
18A35 Categories admitting limits (complete categories), functors preserving limits, completions
68Q60 Specification and verification (program logics, model checking, etc.)
06A99 Ordered sets

Software:

ALGOL 68
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Alagic, S., Algebraic aspects of ALGOL 68, (COINS TR 73B-5 (1973), University of Massachusetts: University of Massachusetts Amherst, MA)
[2] Alagic, S.; Arbib, M. A.; Taylor, R. W., Algebraic models of syntax, semantics, and data structures, (COINS TR 74B-1 (1974), University of Massachusetts: University of Massachusetts Amherst, MA)
[3] Blikle, A., Equational languages, Information and Control, 21, 134-147 (1972) · Zbl 0247.68036
[4] Brainerd, W. S., Tree generating regular systems, Information and Control, 14, 484-491 (1969) · Zbl 0181.01602
[5] Dubuc, E. J., Kan Extensions in Enriched Category Theory, (Lecture Notes in Mathematics, 145 (1970), Springer: Springer Berlin) · Zbl 0228.18002
[6] Goguen, J. A.; Thatcher, J. W.; Wagner, E. G.; Wright, J. B., Initial algebra semantics and continuous algebras, J. Assoc. Comput. Mach., 24, 68-95 (1977) · Zbl 0359.68018
[7] Kelley, G. M.; MacLane, S., Closed coherence for a natural transformation, (Coherence in Categories. Coherence in Categories, Lecture Notes in Mathematics, 281 (1972), Springer: Springer Berlin), 1-28
[8] Lawvere, F. W., Adjointness in foundations, Dialectrica, 23, 281-296 (1969) · Zbl 0341.18002
[9] Lehmann, D., Categories for mathematical semantics, Proc. 17th IEEE Symp. on Foundations of Computer Science (1976)
[10] MacLane, S., Categories for the Working Mathematician (1971), Springer: Springer New York
[11] Manna, Z.; Vuillemin, J., Fixpoint approach to the theory of computation, Comm. ACM, 15, 528-536 (1972) · Zbl 0245.68011
[12] Markowsky, G., Categories of chain-complete posets, Theoret. Comput. Sci., 4, 125-135 (1977) · Zbl 0366.18003
[13] Plotkin, G. D., A powerdomain construction, SIAM J. Comput., 5, 452-487 (1976) · Zbl 0355.68015
[14] Plotkin, G. D.; Smyth, M. B., The category-theoretic solution of recursive domain equations, Proc. 18th IEEE Symp. on Foundations of Computer Science (1977) · Zbl 0493.68022
[15] Pratt, T. W., Pair grammars, graph languages, and string-to-graph translations, J. Comput. System Sci., 5, 560-595 (1971) · Zbl 0229.68029
[16] Reynolds, J. C., Notes on a lattice-theoretical approach to the theory of computation (1972), Syracuse University
[17] Reynolds, J. C., On the relation between direct and continuation semantics, (Proc. 2nd Colloq. on Automata, Languages and Programming. Proc. 2nd Colloq. on Automata, Languages and Programming, Lecture Notes on Computer Science, 14 (1974), Springer: Springer Berlin), 141-156, (Saarbrucken, 1974)
[18] Scott, D., The Lattice of Flow Diagrams, Oxford Univ. Comput. Lab. Rep. PRG-3 (1970)
[19] Scott, D., Continuous lattices, (Lawrence, F. W., Toposes, Algebraic Geometry, and Logic. Toposes, Algebraic Geometry, and Logic, Lecture Notes in Mathematics, 274 (1972), Springer: Springer Berlin) · Zbl 0239.54006
[20] Scott, D., Data types as lattices, Lecture Notes (1972), Amsterdam
[21] Scott, D., Lattice-theoretic models for various type-free calculi, Proc. IVth International Congress for Logic, Methodology, and the Philosophy of Science (1972), Bucharest
[22] Scott, D., Data types as lattices, SIAM J. Comput., 5, 522-587 (1976) · Zbl 0337.02018
[23] Thatcher, J. W., Generalized-2 sequential machines, J. Comput. System Sci., 4, 339-367 (1970) · Zbl 0198.03303
[24] Thatcher, J. W.; Wright, J. B., Generalized finite automata theory with an application to a decision problem of second-order logic, Math. Systems Theory, 2, 1, 57-81 (1968) · Zbl 0157.02201
[25] Wand, M., A concrete approach to abstract recursive definitions, (Nivat, M., Automata, Languages, and Programming (1973), North-Holland: North-Holland Amsterdam), 331-345
[26] Wand, M., Mathematical Foundations of Formal Language Theory, MIT Project MAC TR-108 (1973)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.