Similar Items: Computational expressivity of (circular) proofs with fixed points
- Fixed point combinators as fixed points of higher-order fixed point generators
- Computational Problems in Metric Fixed Point Theory and their Weihrauch Degrees
- On Nominal Syntax and Permutation Fixed Points
- Proper Functors and Fixed Points for Finite Behaviour
- Fixed Points Theorems for Non-Transitive Relations
- Circular Proofs as Session-Typed Processes: A Local Validity Condition