Similar Items: Proper Functors and Fixed Points for Finite Behaviour
- Fixed point combinators as fixed points of higher-order fixed point generators
- Algebraic cocompleteness and finitary functors
- Quotients of Bounded Natural Functors
- On Nominal Syntax and Permutation Fixed Points
- Extending set functors to generalised metric spaces
- Fixed Points Theorems for Non-Transitive Relations