Pages that link to "Item:Q1255084"
From MaRDI portal
The following pages link to Fixed-point constructions in order-enriched categories (Q1255084):
Displaying 33 items.
- Non-deterministic information systems and their domains (Q914401) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- Algebraic domain equations (Q1054464) (← links)
- On Church's formal theory of functions and functionals. The \(\lambda\)- calculus: Connections to higher type recursion theory, proof theory, category theory (Q1120558) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- On the algebra of order (Q1143782) (← links)
- Varieties of chain-complete algebras (Q1145208) (← links)
- Recursion-closed algebraic theories (Q1157899) (← links)
- Tree constructions of free continuous algebras (Q1160149) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Recursion over realizability structures (Q1173956) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- Banach's fixed-point theorem as a base for data-type equations (Q1330915) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Categorical fixed point semantics (Q1813970) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- A note on ordinal DFAs (Q1943687) (← links)
- The Bicategory-Theoretic Solution of Recursive Domain Equations (Q2864151) (← links)
- ALGEBRAIC LINEAR ORDERINGS (Q3086252) (← links)
- (Q3685159) (← links)
- Three counterexamples concerning ω-chain completeness and fixed point properties (Q3897084) (← links)
- Algebraic specification of data types: A synthetic approach (Q3907066) (← links)
- The glueing construction and lax limits (Q4327407) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- (Q4585073) (← links)
- Call-by-name Gradual Type Theory (Q4993354) (← links)
- Partially ordered objects in a topos (Q5023614) (← links)
- (Q5214814) (← links)
- (Q5742881) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
- Sets with structure, mappings and fixed point property: fixed point structures (Q6180625) (← links)
