The following pages link to Fixpoints revisited (Q4206923):
Displaying 17 items.
- Fixed-point operations on ccc's. I (Q672122) (← links)
- Fixed-point calculus (Q674263) (← 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)
- A fixed-point farrago (Q908102) (← links)
- New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic (Q1193588) (← links)
- A remark on fixed points of functors in topological categories (Q1364915) (← links)
- Fixpoint operators for domain equations (Q1605186) (← links)
- Categorical fixed point semantics (Q1813970) (← links)
- Infinite hypergraphs. I: Basic properties (Q1814126) (← links)
- On fixpoint objects and gluing constructions (Q1923803) (← links)
- Fixpoint and loop constructions as colimits (Q3978976) (← links)
- A note on iterative arguments in a topos (Q3994047) (← links)
- Least fixpoints of endofunctors of cartesian closed categories (Q4279245) (← links)
- Lonely points revisited (Q4924872) (← links)
- Fixpoint Theory -- Upside Down (Q6135764) (← links)