Similar Items: Fixed Points Theorems for Non-Transitive Relations
- Fixed point combinators as fixed points of higher-order fixed point generators
- On Nominal Syntax and Permutation Fixed Points
- Proper Functors and Fixed Points for Finite Behaviour
- Computational expressivity of (circular) proofs with fixed points
- Representations of Stream Processors Using Nested Fixed Points
- Inapproximability of Unique Games in Fixed-Point Logic with Counting