Pages that link to "Item:Q1255084"
From MaRDI portal
The following pages link to Fixed-point constructions in order-enriched categories (Q1255084):
Displaying 22 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)
- Call-by-name Gradual Type Theory (Q4993354) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
- Sets with structure, mappings and fixed point property: fixed point structures (Q6180625) (← links)
