Fixed-point constructions in order-enriched categories
From MaRDI portal
Cites work
- A Powerdomain Construction
- Adjointness in Foundations
- Categories of chain-complete posets
- Data Types as Lattices
- Equational languages
- Fixpoint approach to the theory of computation
- Generalized finite automata theory with an application to a decision problem of second-order logic
- Generalized sequential machine maps
- scientific article; zbMATH DE number 3490449 (Why is no real title available?)
- scientific article; zbMATH DE number 3438414 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- scientific article; zbMATH DE number 3387568 (Why is no real title available?)
- Initial Algebra Semantics and Continuous Algebras
- Kan extensions in enriched category theory
- Pair grammars, graph languages and string-to-graph translations
- The Category-Theoretic Solution of Recursive Domain Equations
- The minimalization of tree automata
Cited in
(39)- A Mezei-Wright theorem for categorical algebras
- Algebraic domain equations
- On Church's formal theory of functions and functionals. The - calculus: Connections to higher type recursion theory, proof theory, category theory
- Equational properties of iteration in algebraically complete categories
- On the algebra of order
- Varieties of chain-complete algebras
- Recursion-closed algebraic theories
- Tree constructions of free continuous algebras
- Towards a foundation for semantics in complete metric spaces
- Recursion over realizability structures
- Quantitative domains and infinitary algebras
- Banach's fixed-point theorem as a base for data-type equations
- The equational logic of fixed points
- Categorical fixed point semantics
- Equational logic of circular data type specification
- A note on ordinal DFAs
- The bicategory-theoretic solution of recursive domain equations
- Algebraic linear orderings
- scientific article; zbMATH DE number 3907742 (Why is no real title available?)
- Three counterexamples concerning ω-chain completeness and fixed point properties
- Algebraic specification of data types: A synthetic approach
- The glueing construction and lax limits
- scientific article; zbMATH DE number 1522144 (Why is no real title available?)
- scientific article; zbMATH DE number 1525070 (Why is no real title available?)
- scientific article; zbMATH DE number 1555491 (Why is no real title available?)
- Unguarded recursion on coinductive resumptions
- Call-by-name gradual type theory
- Partially ordered objects in a topos
- Call-by-name gradual type theory
- Mahavier limits: theory and applications
- Unguarded recursion on coinductive resumptions
- A formal logic for formal category theory
- Sets with structure, mappings and fixed point property: fixed point structures
- Categorical approximation fixpoint theory
- Fixpoint constructions in focused orthogonality models of linear logic
- Quantaloidal completions of order-enriched categories and their applications
- Univalent enriched categories and the enriched rezk completion
- Univalent enriched categories and the enriched Rezk completion
- Non-deterministic information systems and their domains
This page was built for publication: Fixed-point constructions in order-enriched categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1255084)
