Pages that link to "Item:Q753945"
From MaRDI portal
The following pages link to Fixed points in Cartesian closed categories (Q753945):
Displaying 10 items.
- Fixed-point operations on ccc's. I (Q672122) (← links)
- A characterization of the least-fixed-point operator by dinaturality (Q685386) (← links)
- A note on inconsistencies caused by fixpoints in a cartesian closed category (Q749648) (← links)
- Algebraically compact functors (Q1208195) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Categorical fixed point semantics (Q1813970) (← links)
- A survey of categorical computation: Fixed points, partiality, combinators, \dots control? (Q3971261) (← links)
- Fixpoint and loop constructions as colimits (Q3978976) (← links)
- A categorical construction of Bachmann–Howard fixed points (Q5205443) (← links)
- Fixed Points of Functors - A Short Abstract (Q5739445) (← links)
