The following pages link to Categorical fixed point semantics (Q1813970):
Displaying 21 items.
- Fixed-point operations on ccc's. I (Q672122) (← links)
- A characterization of the least-fixed-point operator by dinaturality (Q685386) (← links)
- Tail recursion through universal invariants (Q685396) (← links)
- A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648) (← links)
- Fixed points in Cartesian closed categories (Q753945) (← links)
- A categorial approach to the theory of computation (Q911584) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Monads and algebras in the semantics of partial data types (Q1193894) (← links)
- A remark on fixed points of functors in topological categories (Q1364915) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Fixpoint operators for domain equations (Q1605186) (← links)
- On fixed-point theorems in synthetic computability (Q1683373) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Tarski's fixed point theorem in Dedekind categories (Q2844168) (← links)
- Point-fixe sur un ensemble restreint (Q3783267) (← links)
- Fixpoints revisited (Q4206923) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- (Q4327836) (← links)
- Fixed Points In Quantitative Semantics (Q4635890) (← links)
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (Q4650304) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
