The following pages link to Categorical fixed point semantics (Q1813970):
Displaying 10 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)
- Fixed points in Cartesian closed categories (Q753945) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Monads and algebras in the semantics of partial data types (Q1193894) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points (Q4650304) (← links)
- On Compositionality of Dinatural Transformations (Q5079758) (← links)
